I’ve discovered how to push to other people’s branches on GitHub when they’ve used that branch for a pull request on a repo I maintain. I feel like I can see through the Matrix.

Michael Camilleri @pyrmont