]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6e3884) | patch
replace: die early if replace ref already exists
authorChristian Couder <chriscool@tuxfamily.org>
Sat, 17 May 2014 12:16:36 +0000 (14:16 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 May 2014 20:39:53 +0000 (13:39 -0700)
commit24790835738dc098fa6becedc44aac0341b7d5af
tree85980c644b0fd861e33954a607e5ad103d3486f5tree | snapshot
parentb6e38840921ac4a0fe07e10e632f66736745da10commit | diff
replace: die early if replace ref already exists

If a replace ref already exists for an object, it is
much better for the user if we error out before we
let the user edit the object, rather than after.

Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/replace.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.