From f4c069c8a3aee6bc18c4313bf1ec90ebb20828cc Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Thu, 2 Mar 2017 14:15:16 +0200
Subject: [PATCH] - Added Git alias to pull after a forced push.
---
.gitconfig | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitconfig b/.gitconfig
index 3185c8a..357bc7b 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -9,6 +9,7 @@
merg = merge --no-edit
posh = push --set-upstream origin HEAD
pul = pull --progress
+ pull-force = !git fetch && git reset --hard "$(git rev-parse --abbrev-ref --symbolic-full-name @{u})"
push-force = push --force-with-lease
root = rev-parse --show-toplevel
serve-git = !git daemon --reuseaddr --verbose --base-path=. --export-all ./.git
--
GitLab