#! /bin/sh -x
# Convenience script
D=`dirname "$0"`
cd "$D"
# git add keydir/*
# git commit -a
git pull
git push