Ergaenzungen gerrit: upload/push

Einige Ergaenzungen fuer Magier bzgl. Web-GUI und Erzmagier (bzgl.
commit via shell).

Change-Id: If2fb0a17538db3ab2d6373b21305eead8d41f5ca
3 files changed