On Wed, 2017-10-18 at 13:20 +0100, Ian Boston wrote: > Also, I assume any existing Pull requests will have to be ported to > the new > structure, and if they cover multiple repositories they will have to > be > synchronized to prevent breaking builds.
I posted a couple of weeks ago a message on every pull request asking submitters to make sure their pull requests are available locally as that repository will be going away. Unfortunately I can't move over the pull requests to the new repos and "soon", probably this week, after the migration is done, the old Sling github repo will be taken down and replaced. Robert
