Project

General

Profile

Actions
Copy link

Tasks #40748

closed

mgr/dashboard: Automate merging pull requests using Mergify

Added by Lenz Grimmer almost 5 years ago. Updated about 3 years ago.

Status:
Rejected
Priority:
Low
Assignee:
-
Category:
General
Target version:
-
% Done:

0%

Tags:
Reviewed:
Affected Versions:
Pull request ID:
29496

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

Automate_1allthethings.png (484 KB) Automate_1allthethings.png Lenz Grimmer, 07/12/2019 09:03 AM
Actions
Copy link

Also available in: Atom PDF