Pull requests via git push (via gioele) — discussion

#vcs