Add to `git-flow.md` a tutorial explaining how to collaborate with other people on the same PR, and how to download the code pushed by someone else.