ease pushing to a branch of a pull request

[TomasTomecek]

Github allows you to push your changes into a fork of someone else who created a PR on a repo you can commit to. @jpopelka loves this.

Sadly it's such a hassle to set this up, maybe upsint could help:

$ upsint checkout-pr 123
$ # haxxo0ing
$ upsing push

WDYT?

[jpopelka]

I do that only when I have the branch already checked out and I've hacked something in it - so it's easier for me to just commit & push rather than commenting in a PR.

If I hadn't it already checked out I'd probably prefer just commenting.

[TomasTomecek]

wut?

[jpopelka]

That was just reaction to "@jpopelka loves this.", because it looks like I am the reason for requesting this. And I just wanted to say that I don't need it :-)

[TomasTomecek]

But I do! Because I spent like 5 minutes on the git push command.