remove docs repo from list
in the .mrconfig
we still have the docs repo, but it was archived... we should remove it, but first i wonder if maybe the mrconfig should be tweaked so that users are warned about the existence of their local copy first so they can clean that up...
i have the same problem in my personal .mrconfig where i have old repos still listed that i don't want to remove... maybe mr could move them to an archive/ directory that's untracked?
/cc @lavamind