Hi Ruth,
Since you're mailing the "op-tee" list, I suppose you want to contribute to the official tree? That can be found here: https://github.com/OP-TEE/optee_os
With a GitHub account you should be able to send pull requests. The one you're trying to push to is a fork maintained by Arm.
On Tue, May 2, 2023 at 12:24 PM Ruth Glushkin rutigl@gmail.com wrote:
Hi,
bash-4.2$ git push Enumerating objects: 22, done. Counting objects: 100% (22/22), done. Delta compression using up to 40 threads Compressing objects: 100% (17/17), done. Writing objects: 100% (18/18), 5.66 KiB | 579.00 KiB/s, done. Total 18 (delta 3), reused 0 (delta 0), pack-reused 0 remote: Resolving deltas: 100% (3/3) remote: error: branch refs/heads/integration: remote: To push into this reference you need 'Push' rights. remote: User: rutigl remote: Contact an administrator to fix the permissions remote: Processing changes: refs: 1, done To https://review.trustedfirmware.org/OP-TEE/optee_os ! [remote rejected] integration -> integration (prohibited by Gerrit: not permitted: update) error: failed to push some refs to 'https://review.trustedfirmware.org/OP-TEE/optee_os'
Thank you in advance for assistance. Margarita Glushkin