{"push_id":632644153,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"63cffbb1ba72b19d9063dec16e57264a9d930114","before":"2f209717d3c229ee614509e8cabb5ad1733c5751","commits":[{"sha":"aa963ac5fc46a4189c9bad796415749892a27e84","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Substantially increase the state polling frequency\n\nThe point of the stream is that it avoids the need for everything\nelse to do polling and presents a means by which they can be notified\nabout changes. However if it doesn't signal changes faster than\npolling would have done then it doesn't really offer much gain.\n\nChange-Id: Ib572429805a968e90a73aa6e48d247e3e42d4b03","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp-stream/commits/aa963ac5fc46a4189c9bad796415749892a27e84"},{"sha":"3e22e99d253c7f1b96b573b9046e91f2a1ef3755","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Add a quick helper script for showing the stream output\n\nChange-Id: I050ca246f03116172fcd80e3f5ec41c26be25d7b","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp-stream/commits/3e22e99d253c7f1b96b573b9046e91f2a1ef3755"},{"sha":"094d33c1d6796c7347bfe767172cc36e133af7b0","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Replace the show util with README notes\n\nAlso note other useful things in the README while I'm adding things\n\nChange-Id: I40f7e0694de41093d0b9fe7c7f952c0c805b1f68","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp-stream/commits/094d33c1d6796c7347bfe767172cc36e133af7b0"},{"sha":"fab7a58783a353ebb4bed8bec5a9f3de6c8892d3","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Use the API's current match data\n\nRather than working it out locally, thus ensuring consistency.\n\nChange-Id: Ifb1613cc303856cf343e5b2b37ee59080c923f4d","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp-stream/commits/fab7a58783a353ebb4bed8bec5a9f3de6c8892d3"},{"sha":"63cffbb1ba72b19d9063dec16e57264a9d930114","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Expose (changes to) the current delay value\n\nThis adds a new 'delay_value' event which changes whenever the\ndelay (as reported by the API's /current endpoint) changes.\n\nPatch set 2: use 'current-delay' as the name of the event\n\nChange-Id: I2a3ab0a937af1fe98a34784ffa6d84f16c1c0107","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp-stream/commits/63cffbb1ba72b19d9063dec16e57264a9d930114"}]}