git
author="調べたい人のユーザー名" year=2020 month=("01" "02" "03" "04" "05" "06" "07" "08" "09" "10" "11" "12") for m in "${month[@]}" do echo "$year-$m\t"$(git log --date=iso --author="$author" --pretty=format:"[%ad] %h %an : %s" | grep "$y…
git-scm.com git config --global user.name "John Doe" git config --global user.email johndoe@example.com
git reset --hard ORIG_HEAD
普通にgit cloneすると git clone git@github.com:github/opensource.guide.git これだと opensource.guideというディレクトリが作成されそこにcloneされる このディレクトリを別の名前にするには cloneするときに後ろにつけたい名前をつける git clone git@…