a quiet day lets us report on the death of the pull requests