local_repo_update_ensg

#!/usr/bin/env bash
# This is to update a git repo from master, overwriting local modifications
# if merge is not possible automatically
# source: http://stackoverflow.com/questions/1125968/force-git-to-overwrite-local-files-on-pull
# author jfb september 23, 2015

# set proxies
export http_proxy=http://10.0.4.2:3128
export https_proxy=http://10.0.4.2:3128

# 0 - restore deleted files

git ls-files  -d -z | xargs -0 git checkout --


#first do a commit of your changes

 git add *
 git commit -a -m "local changes"

#then fetch the changes and overwrite if there is a conflict

 git fetch origin master
 git merge -s recursive -X theirs origin/master -m "merge with local changes"