#wikimedia-dev: No longer report integration/*

These are already going to #wikimedia-qa. Since all CI people are
either in both or only in #wikimedia-qa, remove from here to reduce
duplicate pings and overal noise.