This is an old revision of the document!
Delete a user from the repository’s member list. When deleting, type the repository owner's name (as in git service) in the confirmation dialog box.