chiark / gitweb /
~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe25b99) | patch
Remove dead code from push_empty_patch
authorDavid Kågedal <davidk@lysator.liu.se>
Fri, 14 Sep 2007 22:31:34 +0000 (00:31 +0200)
committerKarl Hasselström <kha@treskal.com>
Sun, 23 Sep 2007 22:54:06 +0000 (00:54 +0200)
commitd12b37ad2e67c914ec0d63d0877bf1ac90f7e044
tree849b08ba4e65feebf4415ca23593438b35a1ee38tree | snapshot
parentfe25b999a6259b475a2c377ded94e20abbb12034commit | diff
Remove dead code from push_empty_patch

Since the split from push_patch, the push_empty_patch contains some
code that fills no purpose. Remove it and simplify the code.

Signed-off-by: David Kågedal <davidk@lysator.liu.se>
Signed-off-by: Karl Hasselström <kha@treskal.com>
stgit/stack.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)