ignore github ping requests #2