git2rss


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/usr/bin/env php
<?php

if (file_exists(__DIR__ . '/git2rss.json')) {
	$json = file_get_contents(__DIR__ . '/git2rss.json');
	$histo = json_decode($json, true);
} else {
	$histo = array();
}

$log = exec("git log --pretty=format:%H,%ai,%an,%s -1");
$log = explode(',', $log, 4);
var_dump($log);