{"push_id":1144990470,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"9494abd5a6b0eb5d40b24e3b01bc619a003c3e0c","before":"70fcaba4a0173c79987fd6edababa4856301b566","commits":[{"sha":"9494abd5a6b0eb5d40b24e3b01bc619a003c3e0c","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Avoid Optional in fields of ValueAnalysisState\nfor the same reason as in the previous commits\n(missing serializability of Java's Optional).\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21590 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/9494abd5a6b0eb5d40b24e3b01bc619a003c3e0c"}]}
{"actor":{"display_login":"dbeyer-bot"}}