Git Repositories

44dfddd34b7ce47c334f5770b814c5221d539c6d
[simple-git-host.git] / src / post-update.php
1 <?php
2 require('include.inc.php');
3 if (isset($_POST['payload'])) {
4   // github post update
5   $info = json_decode($_POST['payload'], true);
6   $repoName = $info['repository']['name'];
7   $repoUrl = $info['repository']['url'];
8   gitrepoinfo('fetch', $repoName, $repoUrl);
9 } else if (isset($_GET['name']) && isset($_GET['url'])) {
10   $repoName = $_GET['name'];
11   $repoUrl = $_GET['url'];
12   gitrepoinfo('fetch', $repoName, $repoUrl);
13 }
14 ?>