migrate GitHub repository names (#22)

12 files changed