Hello,
I have a pipeline setup where an Azure pipeline does some changes to the gi repository and these should be committed when merging to develop/master.
The pipeline is gaining access to the repo with an SSH key.
Unfortunately, pushes to develop get rejected because of branch permissions set on said branches to prevent developers from pushing directly.
I found some old documentation where branch permissions allowed to add this precise exception to branch permissions but it doesn't look possible anymore. The option "Restrictions" does not appear on the UI.
Is it possible to add such an exception?
