useful git commands

Published 2020-04-20T01:39:00Z by Physics Derivation Graph

I've started linking github issues with commits. To do that, paste the hash of the commit in Github's issue.

If you want to know the hash of the current git HEAD

$ git rev-parse HEAD