Hello. What do you think to rename "master" branch into "main" branch?
It seems not be very difficult: https://www.git-tower.com/learn/git/faq/git-rename-master-to-main/ I would vote for it. Fre;D
_______________________________________________ mseide-msegui-talk mailing list mseide-msegui-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mseide-msegui-talk