[Agda] add to the Agda group on Github

Ulf Norell ulf.norell at gmail.com
Sat Mar 7 08:52:35 CET 2020


I've invited you.

/ Ulf

On Sat, Mar 7, 2020 at 2:21 AM Jason -Zhong Sheng- Hu <fdhzs2010 at hotmail.com>
wrote:

> 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/ <https://hustmphrrr.github.io/>*
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200307/e2fc4774/attachment.html>


More information about the Agda mailing list