Reducing log spew on GitHub pull failures