CVS のバックアップって、いったんみんなに切断してもらって
リポジトリのディレクトリごとコピーで良いんですか?