[Agda-dev] Phabricator as bug tracker system (off topic)

[Ulf Norell]

(This mail not copied to GHC)

I'm not very impressed with github's issue tracker, so I would welcome
looking
into other options. I guess an important question for a new tracker is: can
we
migrate our issues from google code without weeks of manual labour?

/ Ulf

On Tue, Apr 14, 2015 at 6:24 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> Hi,
>
> (I apologise for this off topic message)
>
> >From the discussion started in
> https://mail.haskell.org/pipermail/ghc-devs/2014-June/005117.html, it
> seems GHC HQ didn't choose Phabricator as bug tracker system because
> migrating from Trac "...There's no real pressure to do so and it would
> be tons of work".
>
> Since Google is shutting down Google Code, we need to move Agda's bug
> tracker system from Google Code to something else.
>
> >From some preliminary investigation, it seems Phabricator bug tracker
> system (Maniphest) is more robust than GitHub one.
>
> I would appreciate some feedback related to Maniphest or other bug
> tracker system.
>
> Thanks,
>
> --
> Andrés
> _______________________________________________
> 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/20150414/3f7c3121/attachment.html