git-gui: Verify the user has GIT_COMMITTER_IDENT before comitting.

diff --git a/TODO b/TODO
index b425da30e2a53e2014b59ce960c0407af2a2860a..e9525cda3a65bdacda458a7029321412a62ada08 100644 (file)
--- a/TODO
+++ b/TODO
@@ -6,9 +6,9 @@ Items outstanding:
  * Update index with $PARENT version but leave working directory
    alone.
 
- * Populate the pull menu with local branches.
+ * Add file to .gitignore or info/excludes.
 
- * Populate the pull menu with default merge branch from each remote.
+ * Populate the pull menu with local branches.
 
  * Make use of the new default merge data stored in repo-config.
 
@@ -18,9 +18,6 @@ Items outstanding:
 
  * 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;