Steffen Prohaska:
There are a lot of efforts going on to localize git-gui, including technical terms like "push". Personally I don't understand what this should be useful for. The command is called "git push"s. So, why should it be named differently in the gui.
Not that I agree that "push" is a technical word, but perhaps you have a point. Why should there be such words in the GUI to start with? It's a GUI, trying to abstract away the command line. Why not have a button "Send" or a menu entry "Send changes to server", mimicing the "git push" command line option? Using command line names or showing protocol data directly in a user-oriented GUI is most often a bad idea.
Or perhaps what we need is an actual translation from "gitish" to English, which would have
msgid "Push" msgstr "Send changes to server" ? -- \\// Peter - http://www.softwolves.pp.se/ - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
