We removed a team member two months ago, but he informs me that he is still receiving commit notifications from repository updates. I cannot find his user name anywhere in our settings, for any of our projects.