Re:Ask HN: When did GitHub replace standard Git commands wit...
by arp242 on Monday January 23, 2023 @06:44PM
(#34496792)
> the rest smell like an antifeature to me in fact
I believe without it you can't push to a PR? As a maintainer, I find it quite useful: if a PR is essentially fine but needs a minor/trivial edit (typo, maybe add a few lines of documentation, extremely minor code style changes) then I typically just make then myself as I don't want to bother the submitter for that. Faster and easier for me, faster and easier for them.
Either way, of course all of this is possible without the "gh" tool – no one claimed it's not, – but it's a lot easier than "stick these commands in your git config", especially for people not well versed in git.
Re:Ask HN: When did GitHub replace standard Git commands wit...
by seba_dos1 on Monday January 23, 2023 @08:08PM
(#34497660)
Of course you can. You can always use the long form, or set it up explicitly - I sometimes do that too as a maintainer. Setting this up by default when you just want to checkout means that it's easy for you to push things to other people's repos by accident.
Only the first two are actually important though. I have them both as a single `git pr <remote> <PR>` alias:
...and an equivalent for GitLab: You could easily hardcode remote to be "origin" and get what `gh` does.