migrate GitHub repository names
12 files changed