Christine Rose
Christine Rose
> @christinerose we decided to abandon the feature in its current form, so it's probably not worth reviewing the current PR. Should I dismiss the pending reviews then, or is...
Great, @bobot. Thanks!
I pushed this last commit because it's been sitting on my desktop now for a few weeks! I've been pulled away on other things, but I hope to get back...
> I read: > > > Thus it is not possible to launch dune build again, both would be concurrent. > > it is not possible, but not needed too...
> "It is unnecessary to launch `dune build` again as a building process is triggered when needed. It won't be possible either as both would be concurrent" How about: "It...
> > > "It is unnecessary to launch `dune build` again as a building process is triggered when needed. It won't be possible either as both would be concurrent" >...
Need clarification: li 87-90 ``` Repository selection is always ordered, with the definition of a given version of a package being taken from the repository with the lowest index where...
There are several other comments/questions I have about this doc, mostly for clarification, but I'll wait to ask any more until these are addressed (to avoid too much noise and...
Before I forget my other questions, I'll add them now, so they maintainers can get to these comments/suggestions when they have time.