Modify the translation of Documentation/gitworkflows.txt a bit.