[Agda-dev] google code is nearing the end

[Ulf Norell]

I played with a hack someone wrote in php or somesuch. I'm hoping that the
official tools are a bit better....

/ Ulf

On Thu, Mar 12, 2015 at 6:58 PM, Andreas Abel <abela at chalmers.se> wrote:

> 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/
>
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150312/9c9f5011/attachment.html