# SERVER
git config --global receive.denyCurrentBranch updateInstead

# LOCAL
git config remote.origin.receivepack /home/reu/2020/$USERNAME/.miniconda/bin/git-receive-pack
