push-to-github.sh

#!/bin/bash
# after adding origin with:
#   git remote add origin git@github.com:ovidiopr/scattnlay.git
git push --tags -u origin master