Can we cut down on @haskell-pushbot noise?

[23Skidoo]

IIRC, @haskell-pushbot used to generate less noise originally than it does now (see e.g. here: #5707). Looks like GitHub got smarter and now realises that "origin":"haskell/cabal/pull/$PR_NUMBER" refers to a PR. Can the origin field be dropped from pushbot's JSON commit messages? It seems to be redundant anyway.

/cc @ezyang

[ezyang]

Ugh, I really wish GitHub had a way of suppressing these cross-links. Let's see if #5722 helps.

[23Skidoo]

Fixed by #5722.