GitHub PushEvent at 2014-12-16 15:24:15
Repository: developer
Actor: mantid-builder
Payload: {"shas":[["7999c8ff51dde540063e81f9604226b3118e6351","9185722ba99e3d89579bb7a9e11ba81034ceedca@mantidproject.org","Updating ticket list via jenkins","mantid-builder",true]],"size":1,"ref":"refs/heads/gh-pages","head":"7999c8ff51dde540063e81f9604226b3118e6351"}