Actions
Tasks #40748
closedmgr/dashboard: Automate merging pull requests using Mergify
Status:
Rejected
Priority:
Low
Assignee:
-
Category:
General
Target version:
-
% Done:
0%
Tags:
Reviewed:
Affected Versions:
Pull request ID:
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
Actions