Hello team!!
In the past few days of going though the preCICE repos, I noticed that GSoC specific PRs are marked with a specific “GSoC” label. I assume that these labels are manually added by @Makis. Considering the number of PRs created everyday that are specific to GSoC and mapping the contributors to GSoC (especially if they are new contributors or have not mentioned it explicitly) can become overwhelming.
Hence, I propose a method to automate the labeling by creating a checkbox specific to GSoC in the PR template. If a contributor checks the particular checkbox, GitHub Actions could automatically assign the label to the PR.
If the team agrees (or prefers an alternative approach), I’d be happy to implement the solution.
Looking forward to your thoughts and suggestions.
Hi @Makis , what’s your opinion on this ?
@Aadhil_Ahamed having a simple checkbox would be useful, indeed. If you still want to do that, please start by implementing this on the website repository, and after merged, we can consider it for other relevant repositories as well.
We are slowly catching up, and we will be releasing more details about proposals very soon.
Thank you!
Thanks for the response. I’ll start implementing it and I’ll let you know once the PR is ready.
Hi, I have created a PR for this in the webiste repo (#847). I also added a PR template. Please let me know if there are any chnages.
Hi @Makis, I had a quick ques. Should the GSoC label be added to every PR related to contributions, or only to selected PRs that are specifically considered for GSoC? I’m asking because in PR #847 a workflow was introduced that automatically adds the GSoC label, so I just wanted to confirm what the expected approach is..