Closed mmatteo closed 1 year ago
@gipert, @oschulz, what is the proper procedure to change the name of our reference branch?
git checkout -b main
git push origin main
master
@gipert, can you please take care of that?
I don't have admin rights on this repository
Now you do. :-)
done
@gipert, @oschulz, what is the proper procedure to change the name of our reference branch?