#9978 Some dist-git repos still have a master branch (older commit than it used to be)
Closed: Fixed 3 years ago by mohanboddu. Opened 3 years ago by churchyard.


Metadata Update from @mohanboddu:
- Issue tagged with: dev, high-gain, medium-trouble, ops

3 years ago

This should be fixed now.

Metadata Update from @mohanboddu:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)

3 years ago

Login to comment on this ticket.

Metadata
Boards 2
Ops Status: Backlog
Dev Status: Done