{"push_id":1814224534,"size":1,"distinct_size":1,"ref":"refs/heads/feature/102-reflifetimes","head":"b8706aa479cd42e6599f47f4020b4e9a1698897f","before":"fd7222b87b26b9152a9f1832d4ec2eef90534cea","commits":[{"sha":"b8706aa479cd42e6599f47f4020b4e9a1698897f","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"Update test cases to avoid this as identifier\n\nThis updates the test cases to avoid \"this\" as an identifier.  This is\nnecessary because \"this\" is now a keyword (specifically referring to the\nenclosing lifetime).","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyTheoremProver/commits/b8706aa479cd42e6599f47f4020b4e9a1698897f"}]}
{"actor":{"display_login":"DavePearce"}}