Replace GitHub for Git as who knows the merge

Cover #641.