mgr/dashboard: Automate merging pull requests using Mergify
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?