[steveklabnik]

These days when I push a branch, github gives a URL in the response that I can click from the terminal to open a PR. It is indeed very good.