Git publisher plug-in can push current HEAD to remote repo but does not allow arbitrary branch specifier.

What I'm doing is performing repo mirror periodically, e.g.

git push mirror origin/master:master
git push mirror origin/another_branch:another_branch

I have a workaround to use ssh agent environemnt plug-in + shell commands but would be nice if option to specify custom source branch is possible.

P.S. I see that mirroring can be done but only for a single branch per job definition. So if you have multiple branches to mirror it means extrapolating job number and making job management harder.