From 7337c0b1739eeeb0377f08cba567cc7e60fcaba6 Mon Sep 17 00:00:00 2001
From: Wilfried OLLIVIER <wollivier@bearstech.com>
Date: Fri, 3 Nov 2017 11:32:36 +0100
Subject: [PATCH] Add git commit --amend --no-edit

---
 src/dev/tools/git.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/dev/tools/git.md b/src/dev/tools/git.md
index 330b82e..5b58121 100644
--- a/src/dev/tools/git.md
+++ b/src/dev/tools/git.md
@@ -13,3 +13,9 @@ If you want to change the name of the local branch (_NOT A GOOD IDEA_)
 ```shell
 git checkout --track -b gniagnia origin/develop
 ```
+
+## Ammend without editing commit message
+
+```shell
+git commit --ammend --no-edit
+```