It's something of an inconvenience for people that still depend on
distributed-process-platform for whatever reason (and there still are
reasons to do so since not everything has been salvaged yet) that they
now need to pull from elsewhere and so need to manually modify all
their .git/config's. I'm not convinced an extra github org is
necessary. I would simply keep the package at its existing location,
not rename it, and just mark prominently that it is a deprecated
package (i.e. in the Github repo description line, on Hackage using
the proper mechanism for deprecation, and in the README.md that Github
shows).
--
Mathieu Boespflug
Founder at
http://tweag.io.
On 31 December 2014 at 00:51, Tim Watson <
watson....@gmail.com> wrote: