git reflog の続き

ずっと以前に勉強したことだが、いまひとつ内容を忘れていたので、書いておくことにする。
git の中でも reflogは概念的に難しい内容だと思うが、
$ git reflog --help
を見ると、
"Reflog is a mechanism to record when the tip of branches are updated.
This command is to manage the information recorded in it."
となっている。
これが
$ git reflog
の内容と一致しているわけであるが、やはり難しいところでもある。

例えば、
$ git diff HEAD~3..HEAD
とすると、HEAD の３個前との diff が取れるが、
$ git reflog
の HEAD@{3}などを見ると、ずれていたりする。
このずれは HEAD@{} のほうは push などでの回数カウントが reflog のときに異なるように見える。

もう少し勉強したほうがいいのかもしれない。


==
Burer の論文については、今日のところでだいたい読み終わったので、今度は Dong の論文を読んで必要な内容をリストアップすることにした。

短期目標：Dong の論文を２月７日までに読む
今日の作業内容：論文読み 2h
今日のランチ：豚カレー パイコーカレー
明日の予測作業時間：2h