No need to, I’d better remove my user as a team member. Do I need to
send a patch to that purpose ?

C.