Alex Riesen:
Because you do not send changes to a _server_. There is no server. There is just another repo. Hence just "push"
Fine. "Send to repository", then. My point is that if "push" is a technical term, then it doesn't belong in the GUI, and if it isn't, then it should be translated like any other UI element.
-- \\// 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
