#git bot interface
History of !checkout-reset
Having trouble keeping all of the various forms of "git checkout" and "git reset" apart? Here's an overview:
https://gitirc.eu/help/checkout-reset.html
By jast at 2021-09-28 13:18:21