Revision 3c35fbac86d56126ae31dde5c014053d0f19b792

Committed on 07/11/2013 7:38 am by Damien Pobel <dp@ez.no> [GitHub Diff]

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