GitHub CreateEvent at 2014-11-07 06:22:43
Repository: core
Actor: santosjenkins
Payload: ref: dev-20141107-002124
ref_type: tag
master_branch: master
description: Sireum Core Components
pusher_type: user