Thanks Marc and René for your help, I was indeed trying to push directly!
On 2/5/20 11:01 PM, Marc Jeanmougin wrote:
> I believe you have sufficient rights, but you can't "just push" to
> that branch, you have to do a merge request to force a CI run and send
> emails to subscribers (then merge from the MR)
> You can do it from the gitlab UI with "Options->cherrypick" from your
> commit, and select the 1.0.x branch as target