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

  1. Create a branch with a meaningful name like fix-xyz-victor or feature-abc-victor.

  2. Commit to this branch as often as you want.
    1. Commit messages should be meaningful and concise.

    2. Try to commit in a granular way, not too many changes at once.

  3. As soon as you have a couple commits, push your branch to Github.

  4. As soon as you have pushed, create a draft pull request.
    1. The PR’s title should be self-evident

    2. 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).

    3. 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.

  1. 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-pick and git rebase -i helpful for spinning off certain commits into a new branch/PR.

  2. Make sure that you have written all the appropriate docstrings.

  3. 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.

  4. Before you are done, run black, isort and flake8 on your code (see our conventions).

  5. When you are done, remove the [WIP] from the PR’s title and the Draft status.

  6. Wait for the CI to pass.

  7. Ask for reviewers

Github PR