fix response to github after receiving a push