script to push to Gerrits