git
gitでuser.nameとuser.emailを変えずにそのまま続けていて、githubに上げたときにいろいろと悲しくなるので、全部一気に変えたい。直前のコミットを変更するのは、たくさん情報があるけど、全部一気に変えるのはあまりなかったので、備忘録的に。 git filter…
今まで使ってたGitHubアカウントとは別に新しくアカウントを作りたいなーってことで作った．これまで使ってたやつはアカウント毎削除してしまってもいいんだけど，とりあえず残しておくことに．で，新しいGitHubアカウントを作ったものの，このままだとgit p…
