{"push_id":1042142886,"size":2,"distinct_size":2,"ref":"refs/heads/mw-cfg-optimise","head":"cfbfbe552eec8d906d894d9c5e439b78085ddb53","before":"847da2f601985baed7f689be71a7457d5930efba","commits":[{"sha":"d0f23eeb63651425d25b9691f74af2112aec101d","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Fix and properly test search function.\n\nThis now generates views with multiple instances of the same func\nproperly.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/d0f23eeb63651425d25b9691f74af2112aec101d"},{"sha":"cfbfbe552eec8d906d894d9c5e439b78085ddb53","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Shorten HSF Peterson proof.\n\nWe can now use search to do this, provided we help HSF to realise\nboth threads are live.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/cfbfbe552eec8d906d894d9c5e439b78085ddb53"}]}