This version of GitHub Enterprise Server will be discontinued on 2023-12-20. No patch releases will be made, even for critical security issues. For better performance, improved security, and new features, upgrade to the latest version of GitHub Enterprise Server. For help with the upgrade, contact GitHub Enterprise support.
Error: Permission to user/repo denied to user/other-repo
This error means the key you are pushing with is attached to another repository as a deploy key, and does not have access to the repository you are trying to push to.