fixed a bug caused by github hanging up