Antonin Delpeuch 8d10097659 Add more ignored labels to the CI script		2021-09-26 14:06:05 +02:00
..
requirements.txt	Add GitHub Action to copy labels from issues to PRs. Closes #4176. (#4177)	2021-09-26 13:58:57 +02:00
script.py	Add more ignored labels to the CI script	2021-09-26 14:06:05 +02:00