Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Move config module from rtd-build repo #4242
Looks great. I checked this out locally to test the diffs on these files. Looks like minimal changes.
I think you're right that the last piece will be the most changes, when porting over config.py. If you're going to address in a separate PR, we can merge this now.