If I remove a user from bitbucket do I have to delete the ssh key too?

I want to remove a user completely from bitbucket, so that he don't have access to the 开发者_开发问答bitbucket website and via terminal to the repo.

In the repo at Repository Settings/User and group access I have removed the user. Is that enough?

Or do I have to delete the SSH key in Pipelines/SSH keys, too, and have to create a new one for myself? Is that key just for the pipeline?