Make the repo operations menu translateable.

It would be better to add static identifiers for every entry,
this is just a quick fix.
Fix: show the right caption for the push dialog.
Add German translation.