I have an old coworker who works at Github now. He was on a date with a co-worker from another group (and another state) at a town hall. He at a bar after work

I have an old coworker who works at Github now. He was on a date with a co-worker from another group (and another state) at a town hall. He at a bar after work, and 2 women who worked at github seen them flirt with each other, and reported him to HR. HR made him sign a form that he wouldn't date co-workers, even if in another group. (Him only) There was no rule against dating, but that didnt stop HR from getting into his life. If things are this bad at HR, I cant imagine the rules all over the place.