Revision f40cc8d3f8f1695cc88581f79571d8a979c23943

Committed on 06/11/2013 11:29 pm by Damien Pobel <dp@ez.no> [GitHub Diff]

Added a script to set the status of a commit on github