* 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 file to .gitignore or info/excludes.
* Populate the pull menu with local branches.
- * Populate the pull menu with default merge branch from each remote.
-
* Make use of the new default merge data stored in repo-config.
* Indicate what the current branch is.
* 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;