Doing: git add --all; git commit -m ${summary}; git pushis so common that it would likely benefit from being composed into a single option, something like:
git set ${summary}
Doing: git add --all; git commit -m ${summary}; git pushis so common that it would likely benefit from being composed into a single option, something like:
git set ${summary}