docs/submitting patches: add git tips