diff options
| author | Fredrik Domeij <fredrik.domeij@umu.se> | 2019-08-15 14:06:19 +0200 |
|---|---|---|
| committer | Fredrik Domeij <fredrik.domeij@umu.se> | 2019-08-15 14:06:19 +0200 |
| commit | 59771bb3828fa2616a80a1a5441203a8681382c8 (patch) | |
| tree | 785b1d56a9d0337d4945447e33cd1a898321113e | |
| parent | 0ca0835dbfe24031561a29e46f4aae132d91a2bd (diff) | |
bad commit
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -293,7 +293,7 @@ commit2: test2 @echo ; echo -n "Run 'git push'? [Y/n] " ; read x ; case $$x in "Y"|"y"|"") ;; *) exit 1 ;; esac @git push -commit: #tidy test +commit: tidy test @git diff --color || true @echo ; echo -n "Run 'git commit -a'? [Y/n/skip] " ; read x ; case $$x in "Y"|"y"|"") git commit -a ;; s|skip) ;; *) exit 1 ;; esac @git status -u |