Javi Martín 58e8cf3ff3 Enable Dependabot again ...

We disabled Dependabot in commit a8d6b9b33 because it would
automatically create pull requests on every fork.

But since November 2022 Dependabot no longer behaves that way [1], so
now we can safely enable it without spamming every repository in our
community.

[1] https://github.blog/changelog/2022-11-07-dependabot-pull-requests-off-by-default-for-forks/

2023-08-18 14:57:29 +02:00

..

ISSUE_TEMPLATE

Run the test suite using GitHub Actions

2020-11-23 14:00:33 +01:00

workflows

Change URLs referencing our GitHub repositories

2023-07-12 16:05:26 +02:00

dependabot.yml

Enable Dependabot again

2023-08-18 14:57:29 +02:00

ISSUE_TEMPLATE.md

Add issue template

2018-07-04 02:50:16 -05:00

PULL_REQUEST_TEMPLATE

Run the test suite using GitHub Actions

2020-11-23 14:00:33 +01:00