diff --git a/.gitconfig b/.gitconfig
index 3185c8a7c0c54a988a97f51f0d8db523650a6b38..357bc7b4c9ef0585271975ed6028efa068b4027b 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