{"push_id":2968078784,"size":1,"distinct_size":1,"ref":"refs/heads/release-2.5.4.2-3187","head":"eeaf43d7bc15ea3019fac2e67ed7d18f63d4224a","before":"a33462f9b7e351f3ef5638ed7c737216f4f4c87d","commits":[{"sha":"eeaf43d7bc15ea3019fac2e67ed7d18f63d4224a","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ fix #3187 ] applyFlagsToTCWarnings should respect the new flags (#3193)","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/eeaf43d7bc15ea3019fac2e67ed7d18f63d4224a"}]}
{"actor":{"display_login":"gallais"}}