I would replace it by "git gc" (you have to run 'git gc --prune' by hand
on quiescent repository), or remove it altogether.
It is useful command, perhaps short description should be improved.
BTW. if we have cherry-pick, then we should have revert.
I agree. I would replace it by gitk, or gui (git-gui / "git gui").
I think that "git-rm" could be removed, because "rm <file>; git commit ..."
works just fine.
See also discussion about results of Git User's Survey 2007, somewhere
around
http://thread.gmane.org/gmane.comp.version-control.git/59935/focus=62205
--
Jakub Narebski
Warsaw, Poland
ShadeHawk on #git
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html