Feature Request: handle merges by bot

[misha-ridge]

The project I'm working on has a bot that automatically merges PRs that:

• pass the tests
• pass the reviews
• are based off master

Would it be hard for spr update to acknowledge automatically merged PRs and update the stack accordingly?

[ejoffe]

I think this should work well with the current implementation, spr doesn't keep any state, so prs can automatically merge, and next time you run spr it will only show the unmerged prs. Give it a try, and posts issues here if they come up.

[misha-ridge]

Yes, it works well, thanks.