'master' branch renamed to 'main'

Thijs Kinkhorst thijs at kinkhorst.com
Tue Jul 13 21:14:02 CEST 2021

Hi all,

We have updated the domjudge git repository to rename the master branch to
main. Please update any local checkouts by running:

  git branch -m master main
  git fetch origin
  git branch -u origin/main main
  git remote set-head origin -a


Thijs Kinkhorst
on behalf of the DOMjudge team

More information about the DOMjudge-devel mailing list