post deactivation of `git sauce`