added push bash script for convenience