fix github fetch problem