Move other repos to gitbox?

[John D. Ament]

Since the JCS code is now on gitbox, how do others feel about moving the
other git repos into gitbox?  And possibly even converting config into
gitbox?