[Agda] Agda moving to GitHub

[Ulf Norell]

> In this case, maybe you want to disable the issue interface on GitHub. The
> repository settings should be at:
>
>   https://github.com/agda/agda/settings


Nice, thank you. I looked for that but couldn't find it for some reason.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140615/1858ab7d/attachment.html