Unless the parent comment was edited to remove some details your bar on “doxxing” somebody is pretty low. Linking to somebody’s public GitHub profile isn’t revealing any private information. Both participated in the discourse on GitHub— it’s not like finding their profiles would be difficult.