Githubに最近レポジトリを登録するようになり、複数レポジトリを同時に取得したいなと思い始めました。 調べてみると、gitの管理ツールとしてrepoというものがわかったので、試してみることにしました。 例の如く忘備録として記載します。 repoの使い方 以下…