I'm having some Git/Gerrit troubles and @Gehel recommended I ask you. There are some repos that @chelsyx (chelsyx) and I (bearloga) should be able to push to, but can't. There are some repos where we'd like to be able to merge from the "develop" branch into the "master" branch without submitting that merge commit for a full CR on Gerrit.
For example, here's one of the repos I'm having difficulty with:
wikimedia/discovery/wetzel / project.config:
[access] inheritFrom = wikimedia/discovery [access "refs/*"] owner = group Project and Group Creators [project] description = Shiny dashboard for Maps metrics.
He said it that project inherits from the "discovery" project and that Chelsy and I are already owners of those projects. Indeed, we are members of the "search" group that owns wikimedia/discovery project.
But when I try to git push:
remote: Branch refs/heads/master: remote: You are not allowed to perform this operation. remote: To push into this reference you need 'Push' rights. remote: User: bearloga remote: Please read the documentation and contact an administrator remote: if you feel the configuration is incorrect
@hashar said I could
git checkout master git merge --no-ff develop git push origin HEAD:refs/for/master
But this would create a change on Gerrit that we'd need to +2 and merge. We don't have CI on some of these repos (yet! But we're going to with T153856) so right now the goal is to git push the merge commit to remote from local without having to perform an extra CR in Gerrit.