[Agda-dev] google code is nearing the end

gallais guillaume.allais at ens-lyon.org
Thu Mar 12 18:15:10 CET 2015


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,


More information about the Agda-dev mailing list