[phpMyAdmin Git] [phpmyadmin/scripts] 9d2e9a: Add support for push events

Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 9d2e9ac48698a5f24cdc1d3735e2624f55f7489a https://github.com/phpmyadmin/scripts/commit/9d2e9ac48698a5f24cdc1d3735e262… Author: William Desportes <williamdes(a)wdes.fr> Date: 2018-07-25 (Wed, 25 Jul 2018) Changed paths: M hooks/.gitignore M hooks/README.rst A hooks/composer.json M hooks/lib/github.php A hooks/push.php Log Message: ----------- Add support for push events - Updated README - Added composer.json - Added gihub_webhook_push in lib/github.php - Updated gitignore - Added push.php Fixes: https://github.com/phpmyadmin/phpmyadmin/issues/14287 Signed-off-by: William Desportes <williamdes(a)wdes.fr> Commit: ddb84248fef452afbca510ea4cece53756fc0771 https://github.com/phpmyadmin/scripts/commit/ddb84248fef452afbca510ea4cece5… Author: Michal Čihař <michal(a)cihar.com> Date: 2018-07-27 (Fri, 27 Jul 2018) Changed paths: M hooks/.gitignore M hooks/README.rst A hooks/composer.json M hooks/lib/github.php A hooks/push.php Log Message: ----------- Merge pull request #15 from williamdes/push-event Add support for push events Compare: https://github.com/phpmyadmin/scripts/compare/0817e72c5786...ddb84248fef4 **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.