Open joao-paulo-parity opened 2 years ago
bor merge
(or bor merge $branch
) comment. My idea is the backend should be implemented within pre-merge pipelines tool. Whereas the "frontend" as in reading the comment from PR should remain in the processor.
bot merge
does the same as the pre-merge tool (but also pushes the commit). So it can do all the following tool's activities. And then one can put the automerge
label and it merges if all goes well.
Deprecated
merge master
, to be deprecated in favor of pre-merge pipelines which should already take master into account without pushing commits to the branchRemoved
Could be removed, but requires more work
bot merge
could be removed if the companion build system would be redesigned such that bot commits are no longer needed (#327)Suggestions
bot rebase
(or any other developer-facing merge-automation task) could be moved to another project focused on event processing (front-end) so that processbot can focus on the backend processing of the companion build system