#!/bin/bash

DIRNAME=$(git rev-parse --show-toplevel)

if ! git config --local -l | egrep -q include.path=../.gitconfig$; then
  git config --local --add include.path ../.gitconfig
  rm ${DIRNAME}/.git/index
  git checkout HEAD -- ${DIRNAME}
fi