Convert the default branch to being "main" - Githubissues

w3c / shacl

SHACL Community Group (Post-REC activitities)

27 stars 4 forks source link

Convert the default branch to being "main" #33

Closed afs closed 4 months ago

afs commented 4 months ago

https://github.com/github/renaming

Better to do this now than later.

HolgerKnublauch commented 4 months ago

Yes, good point. Done.