a4f6a9964c
meta: remove PR triage GitHub action 😢
...
We do this because the GitHub Actions behavior was changed recently
so as to not pass secrets to action runs started from forks, therefore
the API token passed cannot be used to change PR labels.
There may be an alternative in the future.
2019-09-03 21:19:38 +02:00
c4c620adcd
meta: add DEBUG_ACTIONS flag to PR triage action
2019-08-18 15:13:46 +02:00
4974143745
meta: move if condition on workflow to steps
...
Provisional measure due to "Unexpected value 'if'" error. See https://github.community/t5/GitHub-API-Development-and/jobs-lt-job-id-gt-if-not-working/m-p/28980
2019-08-13 15:10:15 +02:00
d8ad4e902c
meta: convert workflow file to GitHub Actions v2 yml syntax
2019-08-13 14:15:14 +02:00
24cd8e8314
meta: change feature request label
2019-06-10 15:50:25 +02:00
f62a71e9de
meta: update issue templates
2019-05-21 11:53:52 +02:00
dfb060f8cf
meta: add initial issue templates
...
This commit adds the following issue categories:
- Bug report
- Feature request
- Support
2019-05-16 21:54:54 +02:00
8113ed065d
Add GitHub Action to label Pull Requests
2019-05-03 16:31:22 +02:00
Marc Cornellà