GitHub PushEvent at 2014-05-01 20:20:10
Repository: hermit-reasoner
Actor: sesuncedu
Payload: {"shas":[["649aebf060d0df74e675a67b453318e79d45e59b","9134a5d50a82d8560c9bb4d484b39ea6f13a1b93@gmail.com","added changes from lib and nightly","Simon Spero",false],["96053494f67d944f94abf73e0c7d35205ba05404","9134a5d50a82d8560c9bb4d484b39ea6f13a1b93@gmail.com","Merge pull request #1 from sesuncedu/HermiT-20140302-nightly\n\nadded changes from lib and nightly","Simon  Spero",true]],"size":2,"ref":"refs/heads/master","head":"96053494f67d944f94abf73e0c7d35205ba05404"}