From: Michael Wallner <mike@php.net>
Date: Fri, 8 Mar 2019 10:39:20 +0000 (+0100)
Subject: add update script
X-Git-Url: https://git.m6w6.name/?p=mdref%2Fmdref.m6w6.name;a=commitdiff_plain;h=4bf0086c56206e9c152a16c9072f163ee22ecd61

add update script
---

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 ..