Git style guide
Various information about how we use Git to develop Software Heritage.
Make your commits adhere to this How to Write a Git Commit Message tutorial.
Link commits to tasks
Make sure commits that are enough to close a bug do so using a line like:
If you just want to "ping" a task, updating it with the fact that a related commit has been pushed, use: