I see "ssh restricted command" as a feature. There is no command
provided; alternatively one could argue that the user is to provide a
script, which they will configure as the restricted command, in which
case "to make writing the ssh restricted command
script|implementation" or something, but that seems wordy.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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.