nomeata,
@nomeata@mastodon.online avatar

Why do some project maintainers send a PR back to you as ”approved, but please merge” instead of pressing the Merge (Squash) button? Why doesn't GitHub doesn't allow branches to be squashed from the UI (and thus on the go as I get the please-squash? Why am I ranting about PR processes on Saturday night… ah, right: because that at least I can do.

angerman,

@nomeata GitHub does allow squash-merge, and other merges. It does need to be enabled in the settings of the project though 😔

nomeata,
@nomeata@mastodon.online avatar

@angerman Right, the project owner can do that, while merging, and they have to then craft the commit message.

But if the project owner asks the contributer to squash, they have no option than to use the command line.

I just wrote half a Github App that squashes a PR branch for you. If I have to do this more often, I’ll make it usable.

nomeata,
@nomeata@mastodon.online avatar

@angerman And writing a Github App is silly in the sense that it could be a purely static page running only in the user’s browser, if Apps didn’t need secrets. Now I’d need to host it somewhere.

nomeata,
@nomeata@mastodon.online avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • ngwrru68w68
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • anitta
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • provamag3
  • tester
  • Leos
  • megavids
  • JUstTest
  • All magazines