Avoid double posting to #wikimedia-dev

Followup to https://gerrit.wikimedia.org/r/106555

Change-Id: I2a9f0838e0bcabb47e778dfdea77d8566382f5f5