[Agda-dev] google code is nearing the end

[Andreas Abel]

Ah, too bad, we have been postponing the migration of issues, since 
github does not support attachments.  We will probably lose some data.
Seems like we have no choice now.

Ulf, you already experimented with the migration tools, or?

Cheers,
Andreas

On 12.03.2015 18:15, gallais wrote:
> Hi all,
>
> FYI google code is going to become read-only in August and be
> closed in January 2016. It should be possible to migrate the
> issues to github using one of the tools mentioned in this blog
> post:
>
> http://google-opensource.blogspot.co.uk/2015/03/farewell-to-google-code.html
>
>
> Cheers,
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/