Git extension to implement a Gerrit workflow