chiark / gitweb /
~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d37b109) | patch
Generate a different patch name if it already exists
authorCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 21:18:09 +0000 (21:18 +0000)
committerCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 21:36:10 +0000 (21:36 +0000)
commit214a8453c91d1ba54b85d44cbfc49810b34fae80
treef3e068ee663701ac6f884f2ad4893d247aab563ftree | snapshot
parentd37b109f0cd11094227866c8498d274e1074a61ccommit | diff
Generate a different patch name if it already exists

This is a fix for bug #12518. If the patch name already exists, the pick
command generates another by appending a numbered suffix.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>
stgit/commands/pick.py diff | blob | blame | history
stgit/utils.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)