diff options
author | Till Höppner | 2017-06-11 17:33:59 +0200 |
---|---|---|
committer | Till Höppner | 2017-06-11 17:33:59 +0200 |
commit | 2c5f7326bca49fe27a865f07175d6278b2f8b13a (patch) | |
tree | a42b799e688813d78a2356c15da2e004d4661b3e | |
parent | add24d9ceffd654530457c75fd4ddfb0c178a324 (diff) | |
download | git-2c5f7326bca49fe27a865f07175d6278b2f8b13a.tar.gz git-2c5f7326bca49fe27a865f07175d6278b2f8b13a.tar.xz git-2c5f7326bca49fe27a865f07175d6278b2f8b13a.zip |
Clarify when to use dcm/dps (rarely)
-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 |