Fix the reset command to set HEAD to a proper id
[stgit] / stgit /
drwxr-xr-x   ..
-rw-r--r-- 701 __init__.py
drwxr-xr-x - commands
-rw-r--r-- 1509 config.py
-rw-r--r-- 20081 git.py
-rw-r--r-- 5486 main.py
-rw-r--r-- 31493 stack.py
-rw-r--r-- 1855 utils.py
-rw-r--r-- 16 version.py