Hacker News new | ask | show | jobs
by 4mnt 4398 days ago
That is basically the default of git push