Javi Martín a5eada79c0 Fix Pronto on Dependabot pull requests ...

As explained in "GitHub Actions: Workflows triggered by Dependabot PRs
will run with read-only permissions" [1], we need to consider Dependabot
pull requests as external pull requests.

[1] https://github.blog/changelog/2021-02-19-github-actions-workflows-triggered-by-dependabot-prs-will-run-with-read-only-permissions/

2021-04-23 00:14:16 +02:00

..

ISSUE_TEMPLATE

Run the test suite using GitHub Actions

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

workflows

Fix Pronto on Dependabot pull requests

2021-04-23 00:14:16 +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