Modify theranslation of gitworkflows.txt a bit.