Add a Mergify CI file to help grid_map maintainers out with automatic features such as backporting. This reduces the time per pull-request needed to maintain multiple branches. Easier review and backport helps promote smaller PR's that are easier to review or revert.
In the future, once we gain trust, I can add the automatic merge of backports as long as they pass CI. We should probably integrate an ABI checker to the repo before doing that. For now, reviewers will be required to do the final merge.
Purpose
Add a Mergify CI file to help grid_map maintainers out with automatic features such as backporting. This reduces the time per pull-request needed to maintain multiple branches. Easier review and backport helps promote smaller PR's that are easier to review or revert.
Details
Demo
Future work
In the future, once we gain trust, I can add the automatic merge of backports as long as they pass CI. We should probably integrate an ABI checker to the repo before doing that. For now, reviewers will be required to do the final merge.