gawkworkflow: Undoing a change

1 
1 4.4 Undoing A Change
1 ====================
1 
1 Should you need to undo a change that you have not yet committed (so
1 that you can start over), you can do so on per-file basis by simply
1 checking out the file again:
1 
1      git checkout awkgram.y      Undo changes to awkgram.y. There is no output
1 
1    To start over completely, use 'git reset --hard'.  Note that this
1 will _throw away_ all your changes, with no chance for recovery, so be
1 sure you really want to do it.
1