From 4bf0086c56206e9c152a16c9072f163ee22ecd61 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 8 Mar 2019 11:39:20 +0100
Subject: [PATCH 1/1] add update script

---
 update.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 update.sh

diff --git a/update.sh b/update.sh
new file mode 100755
index 0000000..9b427f4
--- /dev/null
+++ b/update.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+# pull the app and all refs
+git submodule foreach "git pull -qr origin master"
+
+cd refs
+for ref in http pq; do 
+	../mdref/bin/ref2stub $ref >/dev/null
+
+	# this is semantically awful
+	if ! diff -q {,$ref/}$ref.stub.php; then
+		cp {,$ref/}$ref.stub.php
+		(cd $ref && git commit -am "update live stub" && git push)
+	fi
+done
+cd ..
-- 
2.30.2