Git Reset vs Revert vs Restore: Which to Use

Git reset vs revert vs restore with real Git 2.56 output: the three reset modes, how to undo pushed commits safely, and how to recover after a hard reset.