GitHub allows you to add a bio on your profile

So apparently you can add a bio to your profile and mention other users.