Git-PR: patch requests over SSH