Version

• check commit history
• change version
• switch to latest
• need a early version of a repository
  • Fork the latest repository on Github
  • clone the forked repository
  • change the version locally and push

check commit history

git log
git log --pretty=oneline

commit 0637340f4d8d288a8d24dd5193855c9e5def776d (HEAD -> main, origin/main, origin/HEAD)
Author: Chen-Yulin <chenyulin@sjtu.edu.cn>
Date:   Tue Mar 21 20:55:16 2023 +0800

    modify obsidian dir

commit dde357abf53f26972bd3ad0e1b1e840412b26fc7
Author: Chen-Yulin <chenyulin@sjtu.edu.cn>
Date:   Tue Mar 21 20:54:57 2023 +0800

    modify obsidian dir

commit 089578f74d206c7fbb503a293d34edf878dad3f3
Author: Chen-Yulin <chenyulin@sjtu.edu.cn>
Date:   Tue Mar 21 20:34:09 2023 +0800

    fix plugin compatibility

commit b62c94796b757851a5e8f38925f28b160a8bf4f0
Author: Chen-Yulin <chenyulin@sjtu.edu.cn>
Date:   Tue Mar 21 14:59:02 2023 +0800

change version

git reset --hard [version hash]

switch to latest

git pull

or locally

git checkout master

need a early version of a repository

Fork the latest repository on Github

clone the forked repository

git clone ...

change the version locally and push

git log
...
git reset --hard [version hash]
git push --force