# HG changeset patch
# User Patrick Mezard <pmezard@gmail.com>
# Date 1230690838 21600
# Node ID b77a4caaf77b9288fe5fbb7e00cac5139ab06722
# Parent  d046bef502d745786d474586eec1ffd95347c2c2
push_cmd: do not store files to delete content

File content is used to set mime-types and compute deltas. Both are useless for
files to delete.

diff --git a/push_cmd.py b/push_cmd.py
--- a/push_cmd.py
+++ b/push_cmd.py
@@ -205,7 +205,6 @@ def commit_from_rev(ui, repo, rev_ctx, h
                 if file[:pos] in deleteddirs:
                     # This file will be removed when its directory is removed
                     continue
-            base_data = parent.filectx(file).data()
             action = 'delete'
         file_data[file] = base_data, new_data, action