diff -r 602483aa7818 -r 4c253e84ae62 src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Sat Oct 22 19:14:38 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Sat Oct 22 19:57:56 2016 +0200
@@ -106,6 +106,12 @@
     def log(rev: String = "", template: String = "", options: String = ""): String =
       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
 
+    def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "")
+    {
+      hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
+        check
+    }
+
     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
       hg.command("pull", opt_rev(rev) + optional(remote), options).check