coscup-matterbot says to #coscup <changyuheng> git checkout main~3 會把 HEAD 切到 main branch 的前 3 筆，但 git checkout main~3 -- main.c 則不會動 HEAD，只是把 main.c 回復成 main branch 前 3 筆裡的版本。