@@ -203,12 +203,11 @@ contributors.
203203Merging pull requests
204204~~~~~~~~~~~~~~~~~~~~~
205205
206- Pull requests submitted by an external contributor should be reviewed and approved by at least
207- one core developers before being merged. Ideally, pull requests submitted by a core developer
208- should be reviewed and approved by at least one other core developers before being merged.
206+ Pull requests should be reviewed and approved by at least one core developer
207+ (other than the pull request author) before being merged.
209208
210- Pull requests should not be merged until all CI checks have passed (Travis, AppVeyor,
211- Codecov) against code that has had the latest main merged in.
209+ Pull requests should not be merged until all CI checks have passed against code
210+ that has had the latest main merged in.
212211
213212Compatibility and versioning policies
214213~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -278,6 +277,10 @@ hard-and-fast rules, e.g., it is fine to make a minor release to make a single n
278277feature available; equally, it is fine to make a minor release that includes a number of
279278changes.
280279
280+ When making a minor release, open an issue stating your intention so other developers
281+ know that a release is planned. At least a week's notice should be given for other
282+ developers to be aware of and possibly add to the contents of the release.
283+
281284Major releases obviously need to be given careful consideration, and should be done as
282285infrequently as possible, as they will break existing code and/or affect data
283286compatibility in some way.
0 commit comments