This repository was archived by the owner on May 8, 2024. It is now read-only.
Get full name for Github user #10
Description
Most definitions have full personal name, not just Github user-name.
Look into getting full name from Github API and use it. Maybe also their website.
With a fallback as not everybody has github.