From 363e56c7a697faee0014d577a963eb650be94632 Mon Sep 17 00:00:00 2001
From: ncanceill <nicolas.canceill@ens-cachan.org>
Date: Tue, 10 Jun 2014 15:05:06 +0200
Subject: [PATCH] added ggf alias to force ggp

---
 plugins/git/git.plugin.zsh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh
index b1a6e1100..6152053b2 100644
--- a/plugins/git/git.plugin.zsh
+++ b/plugins/git/git.plugin.zsh
@@ -242,6 +242,11 @@ ggp() {
   git push origin "${b:=$1}"
 }
 compdef _git ggp=git-checkout
+ggf() {
+  [[ "$#" != 1 ]] && b="$(current_branch)"
+  git push --force origin "${b:=$1}"
+}
+compdef _git ggf=git-checkout
 ggpnp() {
   ggl "$1" && ggp "$1"
 }