#!/bin/bash
while read OLD_REV NEW_REV REF_NAME; do
  git push public $NEW_REV:$REF_NAME
done