#!/bin/bash

cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi;


cd ..

cola
git push

echo ""
echo "Press ENTER to close this window."
read