decentralized-identity / org

DIF docs, wiki, and organizational material
45 stars 13 forks source link

change primary branch from master to main #19

Open brentzundel opened 1 year ago

brentzundel commented 1 year ago

It is considered better semantics to name the primary github branch main instead of master The process is theoretically straightforward (github has tools built for changing the name of the primary repository), so I recommend making this change.