I just used "goodhart" as a verb, meaning to spoil the information content of a measure by basing incentives on it. I kinda like it.

"We were fine until Robert goodharted the PR count. Now we have a million tiny PRs that make no sense."