diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-05-23 18:43:28 +0200 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-05-23 18:43:28 +0200 |
| commit | 59e8b98bef5cee939e684869c3a8bd6ae950ff5b (patch) | |
| tree | 506047110ab31f7419e575dcb817b9c55374bd77 /dep/utf8cpp | |
| parent | 58013167ded4db06f0e59c1102f6406fd65e66b5 (diff) | |
CI/GitHub: Remove PR GitHub Action because of current limitations
GitHub Actions triggered when creating a Pull Request receive a read-only token that makes them useless when trying to do anything on GitHub.
Useful links:
- https://github.com/actions/first-interaction/issues/10
- https://github.com/actions/labeler/issues/12
- https://github.com/actions/labeler#pull-request-labeler
Diffstat (limited to 'dep/utf8cpp')
0 files changed, 0 insertions, 0 deletions