diff -r f14ad1e83896 -r b21a3753255f docs/tutorial/testlib/push-checkheads-util.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/tutorial/testlib/push-checkheads-util.sh	Tue Jan 16 04:41:48 2018 +0100
@@ -0,0 +1,29 @@
+# setup config and various utility to test new heads checks on push
+
+. $TESTDIR/testlib/common.sh
+
+cat >> $HGRCPATH <<EOF
+[ui]
+# simpler log output
+logtemplate ="{node|short} ({phase}): {desc}\n"
+
+[phases]
+# non publishing server
+publish=False
+
+[extensions]
+# we need to strip some changeset for some test cases
+strip=
+evolve=
+EOF
+
+setuprepos() {
+    echo creating basic server and client repo
+    hg init server
+    cd server
+    mkcommit root
+    hg phase --public .
+    mkcommit A0
+    cd ..
+    hg clone server client
+}