opengrok
opengrok copied to clipboard
Rename master branch to main as per lastest github standards
Describe the bug Rename master branch to main as per the latest github recommendations. https://sfconservancy.org/news/2020/jun/23/gitbranchname/