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


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

6 months ago

This should be fixed now.

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

6 months ago

Login to comment on this ticket.

Metadata
Boards 2
Ops Status: Backlog
Dev Status: Done