Skip to content

Instantly share code, notes, and snippets.

<?php
define('UPDATE_WEBSITE_SH', '/path/to/update-website.sh');
if (!(isset($_SERVER['HTTP_USER_AGENT']) && preg_match('/GitHub Hookshot/i', $_SERVER['HTTP_USER_AGENT']))) {
die();
}
if (!file_exists(UPDATE_WEBSITE_SH)) {
die();
}
if ( !isset($_POST['payload']) ) {
This file has been truncated, but you can view the full file.
'use strict';
var COMPILED = !0, goog = goog || {};
goog.global = this;
goog.DEBUG = !1;
goog.LOCALE = "en";
goog.provide = function (a) {
if (!COMPILED) {
if (goog.isProvided_(a))
throw Error('Namespace "' + a + '" already declared.');
delete goog.implicitNamespaces_[a];