Docs feedback: No documentation of "Reject inconsistent username" push rule option

Current push rules documentation is here: https://docs.gitlab.com/ee/user/project/repository/push_rules.html

The current push rules editor looks like the following:
I don't see any documentation for the second option and am uncertain how to interpret its behavior.