# HG changeset patch
# User mpm@selenic.com
# Date 1122968063 28800
# Node ID eef752151556d45783128473e937b52378e7903b
# Parent  cf1d9a01dd926fd2ace2814ba21b2d5e6fbdbed4
Actually implement the -f switch for push



diff -r cf1d9a01dd92 -r eef752151556 mercurial/commands.py
--- a/mercurial/commands.py	Mon Aug 01 23:23:51 2005 -0800
+++ b/mercurial/commands.py	Mon Aug 01 23:34:23 2005 -0800
@@ -819,13 +819,13 @@
 
     return r
 
-def push(ui, repo, dest="default-push"):
+def push(ui, repo, dest="default-push", force=False):
     """push changes to the specified destination"""
     dest = ui.expandpath(dest)
     ui.status('pushing to %s\n' % (dest))
 
     other = hg.repository(ui, dest)
-    r = repo.push(other)
+    r = repo.push(other, force)
     return r
 
 def rawcommit(ui, repo, *flist, **rc):
@@ -1203,7 +1203,10 @@
         (pull,
          [('u', 'update', None, 'update working directory')],
          'hg pull [-u] [SOURCE]'),
-    "^push": (push, [], 'hg push [DEST]'),
+    "^push":
+        (push,
+         [('f', 'force', None, 'force push')],
+         'hg push [DEST]'),
     "rawcommit":
         (rawcommit,
          [('p', 'parent', [], 'parent'),