Re: opam-repo-dev now less useful

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 10 Feb 2013, at 18:39, David Scott <scott.dj@xxxxxxxxx> wrote:
> 
> It's a fair observation that we're using the opam-repo-dev as a shortcut to 
> avoid thinking about releases. This would indeed explain why things work just 
> fine for us with all the dev repos, but not for casual users who opt for the 
> stable, non-dev repos. If the 'opam pin git://' works then I say: remove the 
> mirage/opam-repo-dev remote and let's all use the stable versions and make 
> sure they're rock solid.

Great; I'll start removing stuff, and once Mirari has a released version, I can 
update the website instructions.

> The xen-org/opam-repo-dev contains a bit of a backlog of unreleased stuff. I 
> need to tidy up xenopsd (the lowest piece) and cut a release as soon as 
> possible.

Good plan; my laptop is waiting for xenopsd too!

-a