[Agda-dev] New Agda repository including the issues

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Aug 10 00:34:26 CEST 2015

Previous message: [Agda-dev] Push your changes because the Agda repository will be deleted
Next message: [Agda-dev] New bug tracker for Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

I just finished the migration of the issues from Google Code.

After pulling seven commits in the master branch (created by the
migration process) your work-flow should be the same.

Best,

-- 
Andrés

Previous message: [Agda-dev] Push your changes because the Agda repository will be deleted
Next message: [Agda-dev] New bug tracker for Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list