ignore github ping requests