#!/bin/sh set -e git update-server-info