spacedentist / spr

Submit pull requests for individual, amendable, rebaseable commits to GitHub

Home Page:https://getcord.github.io/spr/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[question] Any way to support squash merging PR in GitHub UI and then update locally?

liias opened this issue · comments

I would like to try out spr, but giving an option for other people in my organization to keep using GitHub UI to merge also my pull requests (we use squash merge by default already).

Is there a way to support squash merging the PR in GitHub UI instead of running spr land?
And then run a command locally to update all the other PRs and local/remote branches?