git-maneuvers.txt

# Pull remote branch to server
# https://stackoverflow.com/a/9537923/2480125

git fetch origin
git checkout --track origin/feb-2020

# Untrack directory that was previously commited but should now be ignored
# https://stackoverflow.com/a/7927283/2480125
git rm -r --cached wp-content/plugins
git commit "'Remove ignored directory /****/"
git push origin master