It absolutely happens at GitHub, but we typically will reach out to a dormant user to ask if they can get the name if a need comes up (and sometimes send goodies in thanks).

Overall it's pretty painless, and the dormant users are thankful for the notification.