TIL: Git push to deploy

Half a year ago, I wrote about how to push Git repos between random repos. But at the time, I did it like a farmer, having to change the branch on the remote machine before pushing. Today, after fighting with piku , which is really nice, except it doesn&apos;t