54 commits

Author	SHA1	Message	Date
Marc Cornellà	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
Marc Cornellà	c4c620adcd	meta: add DEBUG_ACTIONS flag to PR triage action	2019-08-18 15:13:46 +02:00
Marc Cornellà	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
Marc Cornellà	d8ad4e902c	meta: convert workflow file to GitHub Actions v2 yml syntax	2019-08-13 14:15:14 +02:00