Closed
Description
Now, that we are merging repositories together, the question comes up whether we should remove the deprecated repositories or not.
Pros:
- less repository, less confusion
- less repository, less maintenance
Cons:
- some of the repositories have already been tagged, which means they COULD be used somewhere. Fortunately packagist gives us information about dependent packages.
- we lose issues, PRs, history (which is probably not a big deal in the current phase of the project)