{"push_id":1340277574,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f6c3c3aa4e44959e0af9a72450c6147b51700328","before":"806c8f885ccf33414cdd74bef0f84f10ab4f97e2","commits":[{"sha":"c656b307e4acdb64b1bf5fb53c73801a387b218e","author":{"name":"Traian Florin Serbanuta","email":"0efc52f33f0ac75e5d9300dddde2d098183e60f6@gmail.com"},"message":"Added Console Pattern Matcher for reference","distinct":true,"url":"https://api.github.com/repos/runtimeverification/rvmatch-eclipse-plugin/commits/c656b307e4acdb64b1bf5fb53c73801a387b218e"},{"sha":"f6c3c3aa4e44959e0af9a72450c6147b51700328","author":{"name":"Traian Florin Serbanuta","email":"0efc52f33f0ac75e5d9300dddde2d098183e60f6@gmail.com"},"message":"Removed ConsolePatternMatcher","distinct":true,"url":"https://api.github.com/repos/runtimeverification/rvmatch-eclipse-plugin/commits/f6c3c3aa4e44959e0af9a72450c6147b51700328"}]}
{"actor":{"display_login":"traiansf"}}