I've just amended a commit, and now I'd like to push this (using GIT bash), but this fails:
ddesca@hostname MINGW64 /c/Development/.../rpi (main)
$ git push --force-with-lease
...
To http://:8080/tfs//rpi/_git/rpi
! [remote rejected] main -> main
(TF401027: You need the Git 'ForcePush' permission to perform this action.
Details: identity '\ddesca', scope 'branch'.)
error: failed to push some refs to
'http://:8080/tfs//rpi/_git/rpi'
As common nowadays, I asked an A.I. bot for some help, and he gave me the advise to surf to that machine, and look for the "project settings":

Then, it tells me to go to "main" branch or branch security settings, but I don't see that anywhere.
I know I'm part of the "rpi team" and I indeed believe that this is the key to solve this issue, but how can I alter "rpi team" permissions?
Thanks in advance
Dominique