search

smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
432 stars 82 forks source link

Heads up: renaming master branch into main #765

Closed zvonimir closed 3 years ago

zvonimir commented 3 years ago

Here is how you update your local repos: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-branches-in-your-repository/renaming-a-branch

Or you can just checkout from scratch.

zvonimir commented 3 years ago

This is now done.