mirage/is-mirage-broken — pull request #12 by niksu (2014-11-10 23:29:02+00:00)
Title: added script to update mirage-www when (at least one) build status changes

This is the partner PR to https://github.com/mirage/mirage-www/pull/235

See header comment in update_mirage-www.sh (the sole file included in this PR) for a description of what it does.

The script works in my setup, but it could do with further streamlining of how it expects to find authentication credentials.