On Wed, 19 Feb 2020 at 09:57, Alberto Salvia Novella
<es20490446e@xxxxxxxxx> wrote:
>
> 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,
That's what aliases are for, no?
http://blog.vogella.com/2010/12/25/git-alias-add-commit/
> something like:
> git set ${summary}
IMO, set makes an unclear and ambiguous name.
Best regards,
--
Mateusz Loskot, http://mateusz.loskot.net
