Next MJD's Git tips and utilities 12

Finding old stuff with git-reflog

        git show dev@{'Aug 22'}:path/to/some/file.txt

Next Copyright © 2021 M. J. Dominus