Régis Behmo 9b1fdd9773 ci: don't even try to auto-add PRs to github project ...

Auto-adding PRs to the Github project is not working because the
github-token is not available there.

2024-03-05 12:03:03 +05:00

..

workflows

ci: don't even try to auto-add PRs to github project

2024-03-05 12:03:03 +05:00