[Agda] Stop creating or modifying issues in Google Code

[Andrés Sicard-Ramírez]

Hi,

We are migrating the issues from Google Code to GitHub.

Please stop creating or modifying issues in

  https://code.google.com/p/agda/issues/list

Thanks,

-- 
Andrés