committers-guide: Merge duplicate policies into one
Those two points describe the same situation. Merge them into one point.