paul: git mirror doesnt create short repo name