[Agda-dev] google code is nearing the end

[Andrés Sicard-Ramírez]

On 12 March 2015 at 12:58, Andreas Abel <abela at chalmers.se> wrote:
> Ah, too bad, we have been postponing the migration of issues, since github
> does not support attachments.

I guest we can use GitHub gists https://gist.github.com/.

-- 
Andrés