Moves source to different repo to keep Github happy