The field 'github_id' was useless. It is removed, and instead we rely on 'github_usernam', which can be matched to the data we receive from github API