How I saved a lost commit from GitHub

June 07, 2019 2 minute read

Earlier today I force-pushed to my repository USTC-RV-Chisel for testing purposes, without noticing that my local ref origin/master is 1 commit behind the ac...