2 Commits

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