From: Peter Karlsson <hidden> Date: 2016-06-15 22:43:45
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/