{"push_id":778684127,"size":1,"distinct_size":1,"ref":"refs/heads/debug207","head":"825b481ecc323a7760572ef68159740d0a61dd98","before":"55b967946776a45e238fd83726e28dc8f92f6da2","commits":[{"sha":"825b481ecc323a7760572ef68159740d0a61dd98","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"update event definition and add comments in AdviceAndPointCut.java to guide the future modification","distinct":true,"url":"https://api.github.com/repos/runtimeverification/javamop/commits/825b481ecc323a7760572ef68159740d0a61dd98"}]}