imo push pin PR policy is don't tell anybody anything and you won't make a mistake. Hire Bill S. to only give out info on PRs and don't put PRs out.