The repos have been moved over now. Now, we just need to keep an eye on
them to make sure they are configured the way we want them to be (commits,
notifications, going to the right mailing list, Travis setup, issues
enabled and working, etc.)

On Fri, Apr 27, 2018 at 1:27 AM Christopher <[EMAIL PROTECTED]> wrote: