hopefully fix github postreceive hook when many commits are submitted
improve GitHub postreceive hook