Trying to fix a github internal server error issue