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_.
Merge pull request #3 from tobie/fix-labels

Stop label spam.