Hello,
I was just trying to update the `Haskel 2020` project as it is not in sync with the actual pull-requests, bit I can't see a way to do it. Am I missing something, or do I simply not have the required permissions?
If this is indeed a permissions issue, could someone with access fix it (maybe David?). Probably the easiest would be to create a group with all the members and give it access to the repo.
-Iavor