chiark / gitweb /
~mdw / stgit / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 352446d)
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)
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>

No differences found
GIT patch-maintenance porcelain (local modifications)