added pushToRepo script for convenience :)