Merge PR #71346 into main

* refs/pull/71346/head:
	Adding username to .githubmap

Reviewed-by: Patrick Donnelly <pdonnell@ibm.com>