clean up.
git pull not strictly necessary.