docs: misc

Close #36441
Close #36631
Close #36656

Co-authored-by: Maria José Solano <majosolano99@gmail.com>
Co-authored-by: glepnir <glephunter@gmail.com>
Co-authored-by: "Mike J. McGuirk" <mike.j.mcguirk@gmail.com>
This commit is contained in:
Justin M. Keyes
2025-11-23 12:45:31 -05:00
parent b7a670a6d2
commit 3fc72f4ef1
10 changed files with 32 additions and 10 deletions

View File

@@ -55,6 +55,7 @@ Developer guidelines
Pull requests (PRs)
---------------------
- Fork the repository first.
- To avoid duplicate work, create a draft pull request.
- Your PR must include [test coverage][run-tests].
- Avoid cosmetic changes to unrelated files in the same commit.