When a user who can push runs dgit,
dgit uses ssh to access the git server.
-To make the ssh restricted command easier,
+To make use of ssh restricted command easier,
and for the benefit of dgit-repos-server,
dgit's ssh commands
each start with a parseable commentish rune.