Ich möchte den Benutzernamen meines Kontos auf GitHub ändern, kann aber nicht finden, wie das geht. Ist das überhaupt möglich? Zur Verdeutlichung spreche ich nicht über den Parameter user.name in einem Git-Repository, sondern über den Benutzernamen des tatsächlichen GitHub-Kontos.