From: Alberto Salvia Novella <es20490446e@gmail.com>
Date: Wed, 19 Feb 2020 08:57:18 GMT
Subject: Committing with one single option
Message-ID: <547b53e1-f3e1-5f12-5ffc-f35b95e25867@gmail.com>
In-Reply-To: <e773b01e-8fcf-8b8f-50d7-4b0f922895f7@gmail.com>

Doing:
git add --all; git commit -m ${summary}; git push

is so common that it would likely benefit from being composed into a 
single option, something like:
git set ${summary}