[Agda] Agda moving to GitHub

[Tillmann Rendel]

Hi,

Ulf Norell wrote:
> I have completed the move to GitHub. Check out the new home of Agda at
>
> https://github.com/agda/agda

Very nice :)

> Note that we are still using the bug tracker at
>
> https://code.google.com/p/agda/issues
>
> so please continue reporting bugs there rather than on GitHub.

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

Tillmann