Change a few files to migrate GitHub repository names.
3 files changed