Fix initial setup of .githubmirror file