howto:github
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| howto:github [2022/04/12 00:28] – Wulf Rajek | howto:github [2023/05/29 11:55] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 120: | Line 120: | ||
| </ | </ | ||
| + | ===== Forceful undo last commit ===== | ||
| + | < | ||
| + | git reset --hard HEAD^ | ||
| + | git push origin -f | ||
| + | </ | ||
howto/github.1649719714.txt.gz · Last modified: 2023/05/29 11:53 (external edit)