Added "git gerrit update" convenience function; better error handling; better proposed log message