Stefano Zacchiroli df469d01d2 update-github-list: do not compute stats after update ... they forced configuration duplication, and were redundant anyhow		2015-09-10 18:16:29 +02:00
..
batch	bin/batch: add support for continuing from last id	2015-04-28 10:31:30 +02:00
ghlister	ghlister: PEP8 fixes	2015-09-10 18:12:28 +02:00
reset.sh	add license information	2015-04-26 16:24:32 +02:00
status	status: local change, connect to the right pgsql cluster	2015-04-28 10:31:56 +02:00
update-github-list	update-github-list: do not compute stats after update	2015-09-10 18:16:29 +02:00