CI: Add github2gerrit workflow