Hacker News new | ask | show | jobs
by mladen5 1057 days ago
I currently use the same thing and the issue is that you can't simply clone repo by copying url, you need to edit it each time. Not sure how does your GIT_SSH_COMMAND achieves in this case?