Gitリポジトリのメンテナンス

はじめに

講義で作成した講義動画を何も考えずにGitの管理対象にしていたら、リポジトリサイズが急成長してしまいファイルサーバの容量を圧迫しはじめたので、それをどうにかする。

方針

  • 主に作業しているのはWindowsであるが、スクリプトなどを使いたいのでLinux上で作業する。
  • 講義の動画ファイルはミラーリングで十分なので、大学が契約しているMS OneDriveに保存し、Gitリポジトリから削除する。
  • 5年以上前の大きいサイズのファイル(数百Mbyte)は、OneDriveに保存し、Gitリポジトリから削除する。

作業用のリポジトリをクローンする

まず、作業用のディレクトリをクローンする。

% mkdir -p ~/WorkDirForGM
% cd ~/WorkDirForGM
% git clone ssh://user@hogehoge/path/repo.git  (リポジトリをクローンする)
% cd repo