Standard github pull-request flow.
- Open a ticket to check whether your change is welcome ahead of offering it, to avoid investing your time into something that won't be merged.
- Make a new branch.
- Make the changes you want.
- Have passing
pre-commitlocally.- Offering a change here is making the assumption you are, yourself, a user of
pre-commitand have it installed and wired up so you can run it locally.
- Offering a change here is making the assumption you are, yourself, a user of
- Open a pull request and ask for review.
- We'll process as fast as we're able.
See also how to: release.