2 Commits

Author	SHA1	Message	Date
link2xt	8ea8ee02ed	ci: add top comments to GH Actions workflows	2023-06-02 20:19:57 +00:00
Floris Bruynooghe	6eaf04107d	Auto-approve dependabot PRs ... There is very little to be gained by having to approve those PRs, and it is a lot of UI interaction to get them approved. They still will need to be merged manually regardless, so they might as well be approved by a bot.	2022-04-12 12:44:04 +02:00