Github etiquette
How we work together.
Where to learn
If you are new to git or Github, here are some resources to get you started:
Typical workflow
Create a branch with a meaningful name like
fix-xyz-victororfeature-abc-victor.- Commit to this branch as often as you want.
Commit messages should be meaningful and concise.
Try to commit in a granular way, not too many changes at once.
As soon as you have a couple commits, push your branch to Github.
- As soon as you have pushed, create a draft pull request.
The PR’s title should be self-evident
As long as the PR is a draft, you can also add
[WIP]to the title (yes it’s redundant, but it’s also more visible).The draft / WIP status means everyone knows this is work in progress, they won’t expect it to work or to be finished. But it means they can see what you’re working on.
Try to make a coherent and ideally small PR in order to ease the review process. If the PR is to large or it has too diverse changes, consider breaking it into multiple PRs. You may find
git cherry-pickandgit rebase -ihelpful for spinning off certain commits into a new branch/PR.Make sure that you have written all the appropriate docstrings.
Make sure the PR’s comment is complete. Emphasize major changes, especially breaking ones like new dependencies and provide examples of how to use a new feature.
Before you are done, run
black,isortandflake8on your code (see our conventions).When you are done, remove the
[WIP]from the PR’s title and the Draft status.Wait for the CI to pass.
Ask for reviewers