Hi!
I'm working on two machines, and git allows me to switch between them
and sync by means of git pull. When one machine is behind a firewall, I
can sometimes only do pushes, but then I have to rememeber to merge when
I log into remote machine.
Is there a way to trigger merge on remote after push somehow,
so that running on local machine: