Revision 8aa79368b6a56ecba629b4fea78ae17b87585e88

Committed on 10/04/2014 6:27 am by Damien Pobel <damien@pobel.fr> [GitHub Diff]

Merge pull request #9 from ezsystems/cr_pr_status

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