ease pushing to a branch of a pull request

packit / upsint

Upstream Integration: work better with your upstream project.

GNU General Public License v3.0

2 stars 9 forks source link

ease pushing to a branch of a pull request #33

Open TomasTomecek opened 5 years ago

TomasTomecek commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

wut?

jpopelka commented 5 years ago

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 commented 5 years ago

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