Peter Karlsson, Fri, Oct 26, 2007 10:00:32 +0200: > 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" > Because you do not send changes to a _server_. There is no server. There is just another repo. Hence just "push" - 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
