ref: 3313eba74efb302df2d39440c2e2be7372e65030
parent: b75260eb08f0b6710685489c952dacb4df31063f
author: Ori Bernstein <ori@eigenstate.org>
date: Thu Jun 4 13:19:59 EDT 2020
docs: document git/revert (thanks user51)
--- a/git.1
+++ b/git.1
@@ -244,6 +244,10 @@
.I -r
option, the branch is deleted from origin, instead of updated.
+.B Git/revert
+restores the named files from HEAD. When passed the -c flag, restores files from
+the named commit.
+
.B Git/pull
behaves in a similar manner to git/push, however it gets changes from
the upstream repository.