Alexander van der Vekens <[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).
Thank you for the reference. For posterity in case some future metamathematician stumbles across this post, it looks like the 'develop' branch is (at this point in time) where pretty much everyone pushes database updates, whereas 'master' only receives infrequent updates by Norm to keep it "semi-static" for tool testing, etc. -- 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/3AKJRMKPPFZWG.3I6NBB573SZQ8%40wilsonb.com.
signature.asc
Description: PGP signature
