search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

Switch default branch to main #342

Closed CyanoKobalamyne closed 9 months ago

CyanoKobalamyne commented 9 months ago

We should rename the master branch to main. We already have a stale main, so it should just be fast-forwarded and then we can make it the default (and delete master). See here for the rationale: https://about.gitlab.com/blog/2021/03/10/new-git-default-branch-name/. It is very confusing that right now we have both a master and a main.

yoni206 commented 9 months ago

I am in favor of this! If @Clark Barrett @.***> also supports it, then Aron, do you know how to?

On Tue, Feb 6, 2024 at 11:21 PM Áron Ricardo Perez-Lopez < @.***> wrote:

We should rename the master branch to main. We already have a stale main, so it should just be fast-forwarded and then we can make it the default (and delete master). See here for the rationale: https://about.gitlab.com/blog/2021/03/10/new-git-default-branch-name/. It is very confusing that right now we have both a master and a main.

— Reply to this email directly, view it on GitHub https://github.com/stanford-centaur/smt-switch/issues/342, or unsubscribe https://github.com/notifications/unsubscribe-auth/ADAKGRF45K2KMQAE2PPZ5SDYSKNERAVCNFSM6AAAAABC4WR2LWVHI2DSMVQWIX3LMV43ASLTON2WKOZSGEZDCNRYGYYTMMI . You are receiving this because you are subscribed to this thread.Message ID: @.***>

barrettcw commented 9 months ago

Yes let's do this

CyanoKobalamyne commented 9 months ago

Done!