* Checkout $PARENT version to working directory, overwriting current
version. ($PARENT is HEAD, except when amending).
- * Update index with $PARENT version but leave working directory
- alone.
-
- * Add all new files in one shot (e.g. "git add .").
-
* Add file to .gitignore or info/excludes.
* Populate the pull menu with local branches.
* Delete a local branch.
- * Store user preferences (like font, window layout) in global
- repo-config.
-
* Allow user to define keyboard shortcuts for frequently used fetch
or merge operations. Or maybe just define a keyboard shortcut
for default fetch/default merge of current branch is enough;