Commit d34b40a8 authored by nimrod's avatar nimrod
Browse files

- Added Git alias to pull after a forced push.

parent 8f0510bd

.gitconfig

+1 −0
Original line number Diff line number Diff line
@@ -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