[Agda] add to the Agda group on Github

[Jason -Zhong Sheng- Hu]

Hi,

It seems I don't have the permission to manage agda-categories library. Is that because I am not in the agda github group? I am not sure who to contact. could someone who has the authority add me to the group?

Thanks,
Jason Hu
https://hustmphrrr.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200307/fe6ade9d/attachment.html>