I'm not sure whether I should start this in the user list (as opposed to the dev list), but I think the answer might be of general, searchable interest.
If I want to contribute some new feature, what is the process? Do I create an issue describing what I'm contributing at https://github.com/gregorio-project/gregorio/issues and then create a corresponding pull request against the develop branch of the main https://github.com/gregorio-project/gregorio/issues repository? Or would you prefer a "git diff" of changes against the develop branch? Thanks, Henry _______________________________________________ Gregorio-users mailing list [email protected] https://mail.gna.org/listinfo/gregorio-users
