[Agda-dev] google code is nearing the end
Andreas Abel
abela at chalmers.se
Thu Mar 12 18:58:15 CET 2015
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/
More information about the Agda-dev
mailing list