1 files changed, 13 insertions, 0 deletions
diff --git a/rfc.sh b/rfc.sh
index 287768eae8b..5da88b651b1 100755
--- a/rfc.sh
+++ b/rfc.sh
@@ -4,6 +4,19 @@
 # i.e. where we are interested in the result of a command,
 # we have to run the command in an if-statement.
 
+
+while getopts "v" opt; do
+    case $opt in
+        v)
+            # Verbose mode
+            function git () { >&2 echo "git $@" && `which git` $@; }
+            ;;
+    esac
+done
+# Move the positional arguments to the beginning
+shift $((OPTIND-1))
+
+
 branch="master";
 
 set_hooks_commit_msg()