git ci: tell user (after the fact) that cancelled/failed commit => no push.
+emacs-goodies-el