Jeremi Piotrowski f33072ddfb github/workflows: add mantle update action
This action runs over main and the release branches and creates a PR that
updates mantle reference to the latest one. By using a fixed branch name,
rerunning the action will update/close an existing PR if new mantle commits
happen or if the PR becomes obsolete.
2022-03-29 15:59:12 +02:00
..