Priority: low


Add `register-mirror' which does so.

Add `use-mirror' which picks which mirror of a given repository to use
for reads.

Do something reasonable to `push-mirror'.


# tag: Tom Lord Thu Jan 23 02:18:54 2003 (features/make-mirrors-special)
#
