Closed rgrinberg closed 3 years ago
BTW, I was thinking. For a small general project such as csexp
, I feel like it's good that it has its own project entry on github; it's more discoverable and a better place for users to report issues. But at the same time it is a bit annoying for us to have it as a separate repo.
One thing we could do is develop this project inside the Dune repo, and have this repo just be a mirror. Issues could be opened here, but PR would have to be against the Dune repo.
Tbh, maintaining the mirror is going to be just as annoying I bet. I never liked all the extra repos, so of course I wouldn't mind reverting that.
The only annoying thing with putting everything in the same repo is the versioning.
Makes it easier for libraries to interoperate