chiark / gitweb /
~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ee1e4b) | patch
If a patch is not changed when pushing, reuse the same commit object
authorKarl Hasselström <kha@treskal.com>
Tue, 15 Apr 2008 20:04:14 +0000 (22:04 +0200)
committerKarl Hasselström <kha@treskal.com>
Tue, 15 Apr 2008 20:04:14 +0000 (22:04 +0200)
commit352446d45ea5eddb05d77179eeb94cec424587c7
tree48e2c2281b6457075ed5c097008658faa41ceb0ftree | snapshot
parent8ee1e4b4d295c6ec8c67ec40f6f9bc493ff7bf8ccommit | diff
If a patch is not changed when pushing, reuse the same commit object

It should be marginally faster since we don't have to create a new
commit object, but mostly it's a cleanliness issue: rewriting history
when we don't have to is bad.

Signed-off-by: Karl Hasselström <kha@treskal.com>
stgit/lib/transaction.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)