push.sh

clear && git checkout development && git merge --no-ff local -m "Merge local into development" && git push && git checkout local;