[commits] Horde-Support branch master updated. 30b65c8451c0002a5888767906fff80ca2e0ceb0

[Jan Schneider]

The branch "master" has been updated.
The following is a summary of the commits.

from: e0ba59f68f56f503b5fdbdb46d5b1fe1fda3a954

30b65c8 Create a GitHub webhook to send commit messages and update Whups.

Summary: http://github.com/horde/horde-support/compare/e0ba59f68f56f503b5fdbdb46d5b1fe1fda3a954...30b65c8451c0002a5888767906fff80ca2e0ceb0

-----------------------------------------------------------------------

commit 30b65c8451c0002a5888767906fff80ca2e0ceb0
Author: Jan Schneider <jan at horde.org>
Date:   Thu Oct 5 17:57:32 2017 +0200

    Create a GitHub webhook to send commit messages and update Whups.

 .gitignore                  |   1 +
 webhooks/push-conf.php.dist |  22 +++++
 webhooks/push.php           | 201 ++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 224 insertions(+)
 create mode 100644 webhooks/push-conf.php.dist
 create mode 100644 webhooks/push.php

http://github.com/horde/horde-support/commit/30b65c8451c0002a5888767906fff80ca2e0ceb0