Stop label spam.

Work around GitHub logging, to the commit timeline, every time pull request labels are touched through the API, _even when no changes are made_.