Please can you also assign users the 2020/2021 role?
Just thinking ahead to next year, it'd be cool to see which users were involved in which years, so when a new user joins the server this year, it'd be cool to automatically add them to the 2020/21
group and in subsequent years you can see who was involved and when. The group ID is 770992315665612811
.
If you want, I'm happy to submit a PR :)