user.name -> github.user

github.user is the correct config option for the github user name