The best branch for Metamath beginners to be looking at is 'develop'. For most other projects the best branch for beginners to be looking at is 'master'. Therefore, and speaking as a beginner myself who has already made this mistake, the only way to stop beginners being drawn to 'master' like moths to a flame is to do whatever 'master' is being used for in a branch with a different name. David was considering renaming 'develop' to 'master' but he was afraid it would break everyone's workflow. Perhaps there are alternatives that could be considered? The first thing that occurs to me would be to leave a stub behind in 'master' recommending 'develop' and explaining that it is extremely stable (in the sense that proof-checkers automatically guard its correctness).
On Tue, Jun 23, 2020 at 8:21 PM 'Alexander van der Vekens' via Metamath < [email protected]> wrote: > There was alrady a discussion about develop/master branches: > https://groups.google.com/d/topic/metamath/wM1eAAy6lb4/discussion > I can't remember the decision made there (about the usage of the master > branch). > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/fe21cd6c-95e1-4447-bb20-3c9774487491o%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/fe21cd6c-95e1-4447-bb20-3c9774487491o%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAJ48g%2BAY4QMyxv2n1QwNBnv%2Ba5M3J90H94VBKVXz-x3HNkZB0A%40mail.gmail.com.
