Add --ssh and --remotecmd to push
This uses the new setconfig options passing mechanism
Is there an error message when trying to diff non-existing files?
not: No such file or directory
found: No such file or directory
Is there an error message when trying to add non-existing files?
not: No such file or directory
found: No such file or directory