<div dir="ltr">Hello,<div><br></div><div>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?</div><div><br></div><div>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.</div><div><br></div><div>-Iavor</div></div>