added a comment to see if the github-username mapping works