> When we decide we're going to make a release, we make a new branch for > the beta (kind of like I suggested in what Élie quoted). Once we're > ready to go official, then this branch is merged into master and we tag > the master with the new release number. The beta branch would then be > deleted (not the commit history, just the branch identifier).
I admit I kind of like that... This just means that pull requests will have to be made agaist "develop", but this is something that can be explained in the README, in a "contributing" section. Thank you, -- Elie _______________________________________________ Gregorio-users mailing list Gregorio-users@gna.org https://mail.gna.org/listinfo/gregorio-users
