diff options
-rw-r--r-- | gitconfig | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -44,6 +44,11 @@ git rm -f \"$1\";\ }; f" + # These are *not* good practice for collaborative projects, but are fine + # for repos that use git to submit settings, where most commit messages + # would be "Added <user>"/"Removed <repo>" (I'm thinking of gitolite-admin). + # Those repos are usually private and benefit from the faster commits, + # while the changes are easily visible from the diff. # dated commit dcm = "!f(){ git commit -m \"$(date --iso-8601=seconds)\"; }; f" # dated push |