OpenFermion
OpenFermion copied to clipboard
Add auto-merge bot
trafficstars
@kevinsung is this auto-merge upon reviewers sign-off?
Yes and after an automerge label is added to the PR.
Yeah, reviews are marked for auto-merge by adding a label, and it only works after the PR has been approved and passes CI, updating the branch my merging master if necessary.