[tycho-dev] Tycho has changed its default branch

[Christoph Läubrich <laeubi@xxxxxxxxxxxxxx>]

I just wanted to note that Tycho has changed the default branch name 
form "master" > "main" to accommodate with todays best practice and 
conventions, Github should show you instructions on how to update that 
for your local fork next time you visit the repository and redirect it 
in the meanwhile see [1] for more details.

Please let us know about any issues you see.

[1] https://github.com/github/renaming/blob/main/README.md