Tasks #40748
closedmgr/dashboard: Automate merging pull requests using Mergify
0%
Description
This was brought up during today's stand-up: the process of merging pending github pull requests should be fully automated. This removes the bottleneck of having an individual performing this task manually.
There is a third-party service called Mergify that could be utilized for this.
We should evaluate the functionality and define a workflow that would make sense for the majority of Dashboard PRs to pass through this workflow without manual interaction.
Some things to consider: how to deal with tests that fail quite frequently, e.g. make check
on ARM64? How about QA tests that are triggered and checked manually? What are the risks of automating the final step of merging a PR?
Files
Updated by Lenz Grimmer almost 5 years ago
FWIW, the ceph-ansible project already uses Mergify for performing merges and backports
Updated by Kiefer Chang almost 5 years ago
It will be nice if the tool can also handle situations like one PR can only be merged after another one is merged.
Or at least the tool can provide some exception rules to be defined: for example, a PR with DNM label should not be merged automatically.
Updated by Ernesto Puerta over 4 years ago
- Status changed from New to Fix Under Review
- Pull request ID set to 29496
Updated by Ernesto Puerta about 4 years ago
- Status changed from Fix Under Review to Rejected
Updated by Ernesto Puerta about 3 years ago
- Project changed from mgr to Dashboard
- Category changed from 132 to General