👋 We've unified all of GitHub's product documentation in one place! Check out the content for REST API, GraphQL API, and Developers. Learn more on the GitHub blog.
Article version: Enterprise Server 2.21

Error: Permission to user/repo denied to other-user

This error means the key you are pushing with is attached to an account which does not have access to the repository.

Were you able to find what you were looking for?

To fix this, the owner of the repository (user) needs to add your account (other-user) as a collaborator on the repository or to a team that has write access to the repository.

Were you able to find what you were looking for?

Ask a human

Can't find what you're looking for?

Contact us