Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive
 

I just became aware github decided to use main as the default branch instead of master for any new created repositories. That's why I decided to rename all my default branches from master to main on github.

I also had to update my local clones to use main instead of master and wrote a tiny script to achieve this. Just download this script and execute it in the cloned directory.

 

Add comment

*** Note ***

Comments are welcome. But in order to reject spam posts please consider following rules:
  1. Comments with string http are rejected with message You have no rights to use this tag
  2. All comments are reviewed by hand and thus it usually takes one day until a comment will be published.