From: Sverre Rabbelier Date: Fri, 14 Aug 2009 05:05:47 GMT Subject: [RFC PATCH 0/2] add a --delete option to git push Message-ID: <1250226349-20397-1-git-send-email-srabbelier@gmail.com> This is in reply to a brief conversation I had with jnareb on #git about the blogpost "5 things git could learn from hg", or something like that (can't find it right now). Comments most welcome. Sverre Rabbelier (2): add a --delete option to git push test that git push --delete deletes the remote ref Documentation/git-push.txt | 8 +++++++- builtin-push.c | 10 +++++++++- t/t5516-fetch-push.sh | 6 ++++++ 3 files changed, 22 insertions(+), 2 deletions(-)