[getsat]

This is correct. You can use whatever email you want in your commits. Your Github email is not shared by Github to any other party.