diff options
author | Fabio Porcedda <fabio.porcedda@gmail.com> | 2015-11-05 18:26:57 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-11-06 20:32:33 +0300 |
commit | 45470396499488d9c8ddc8e0008d2596d5926931 (patch) | |
tree | 7a6f844925c0ce151ae8b0ae0ff033a4bcf2d62b /git-filter-branch.sh | |
parent | a66aa25afbd957bf0ab25d8875d42d28b921c09e (diff) |
contrib/subtree: remove "push" command from the "todo" file
Because the "push" command is already available, remove it from the
"todo" file.
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-filter-branch.sh')
0 files changed, 0 insertions, 0 deletions