#!/usr/bin/env bash
cd ..
git --git-dir=.git reset --hard
git --git-dir=.git update-server-info
