CI error during biocontainers pull request

[osallou]

after automatic PR submission from biocontainers to add tool/version, bio-tools CI failed, cf https://github.com/bio-tools/content/runs/500476138?check_suite_focus=true

on comment-pr action:

github.GithubException.GithubException: 403 {"message": "Resource not accessible by integration", "documentation_url": "https://developer.github.com/v3/issues/comments/#create-a-comment"}

Furthermore, many workflows are executed, such as "validate debian yml files", "check biotools", ... but they check the whole system, not just the files/tools modified by merge/pull request.
The result is a PR CI may fail due to an issue in an other tool not related to PR.

[hmenager]

Thanks for reporting this. The failure is temporary I hope, because I can't really see why it should suddenly fail like that.
Regarding the second point you make is valid. I should work further on that to reduce the number of running workflows and only launch them when appropriate. Sorry for spamming everyone with these unnecessary wfs!