Add Merge Checklist

Author: ThomasFarstrike

docs/other/merge-checklist.md

@@ -0,0 +1,18 @@
+Before merging a pull request, we should consider the following:
+
+Making sure to update related things:
+
+- has CHANGELOG.md been updated?
+- has MAINTAINERS.md been updated?
+- has the app's version number been incremented?
+- has the [https://GitHub.com/MicroPythonOS/docs](documentation) been updated?
+
+Making sure the logic is sound:
+
+- if it changes a setting definition, will old settings be properly migrated to the new setting?
+- has a unit test been added or updated to make catch future regressions?
+
+Making sure it's easy to review:
+
+- are whitespace changes done in a separate commit (or ideally, separate pull request) from functional changes?
+

mkdocs.yml

@@ -87,6 +87,7 @@ nav:
       - Porting Guide: os-development/porting-guide.md
   - Other:
       - Release Process: other/release-checklist.md
+      - Merge Checklist: other/merge-checklist.md
 extra:
   social:
     - icon: fontawesome/brands/github