{"push_id":1663747893,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b7e2f4f11bfa35aaba50b7be7f2fa9fd1ff5738c","before":"08b53d0174e6a7daf9a759eb58384273e5d0d194","commits":[{"sha":"b7e2f4f11bfa35aaba50b7be7f2fa9fd1ff5738c","author":{"name":"Lily Tsai","email":"22e3bf7816abec68dc40386763bfd63fede9ef79@gmail.com"},"message":"variables and hypotheses are per-section only. change to parameters and axioms instead.","distinct":true,"url":"https://api.github.com/repos/aaronbembenek/verified-auto-enclave/commits/b7e2f4f11bfa35aaba50b7be7f2fa9fd1ff5738c"}]}
{"actor":{"display_login":"tslilyai"}}