Eitan Joffe
Eitan Joffe
For some reason which we haven't root caused yet, the commit message hook did not add a commit id to one of your commits. One workaround to make forward progress...
Are you using a different tool (non command line) to git commit? Could be that you are setup with a verified account in that but not in the command line...
I think we can safely replace "/user/bin/true" with just true here. It's probably a good idea to add a check that "true" exists and if not throw a meaningful error.
Yes, that's correct, and to give some more color. This handles a special init case where there are some commits in the branch already and git spr is run for...
That's very surprising behavior, the default behavior for `git spr merge` is to merge as much of the stack as possible in a single shot. Are all the check marks...
Ok, I think I understand now. For this to work well you should setup a branch protection rule for `pr/*/*/*` . The rule should run all the checks. This way...
Uncheck the "Require pull request before merging" and you can check the "Require linear history"
This is my branch protection rule
@rvi - any luck with this?
I haven't tried getcord, so I don't know the actual difference. From the docs it looks like a very similar solution to the pull request stacking issues GitHub has. I'll...