Matthias Goergens 9e748a4745 Enable github's Dependabot
This PR enables automated dependency updates built into GitHub.  That's
useful for keeping up-to-date on security updates for example.
2023-07-13 12:27:11 +08:00
..
2023-07-06 11:28:42 -04:00
2023-07-13 12:27:11 +08:00