Dear Henry, > Do I create an issue describing what I'm contributing at > https://github.com/gregorio-project/gregorio/issues
Yes, that's always the first step. People can then discuss the priority, the different solutions, etc. here. > 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? Pull requests are definitely better than git diff. But you can also just create a branch with the name of your feature in the main repository, and once you're ready, if you want some review before merging, make a pull request from this branch to develop. It's simpler than having your own repository, and I believe we can work like that. Or if it's been discussed before, simply merge it, without asking. Or if it's a big feature, you can ask some users to directly review the branch before merging or making a pull request. It all depends on the feature, and how you're confident in your code. Thank you, -- Elie _______________________________________________ Gregorio-users mailing list [email protected] https://mail.gna.org/listinfo/gregorio-users
