4 ms·GitHub allows you to add a bio on your profile4 points by Eun 10y agoEun 10y agoSo apparently you can add a bio to your profile and mention other users.