Use BatchRefUpdate to execute reference changes

Some storage backends for JGit are able to update multiple references
in a single pass efficiently. Take advantage of this by pushing
any normal reference updates (such as direct push or branch create)
into a single BatchRefUpdate object.

Change-Id: Iadd7c5a3271f5ab8eaf31881392c85dd5b0a709d
2 files changed