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

cd ..

# pull latest content from repository
git pull

# stage all changes
git add --all

# open GUI to confirm/revert/commit changes
cola

# push changes to remote repository
git push


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