{"push_id":744077184,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"69b9110a789ae03ed80e6c0640f144f6172a5c6f","before":"17528e41f737d609cf812412b70f4a793a8d2d84","commits":[{"sha":"69b9110a789ae03ed80e6c0640f144f6172a5c6f","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Formula Slicing: ignoring FunctionSummaryEdge.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17467 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/69b9110a789ae03ed80e6c0640f144f6172a5c6f"}]}