{"push_id":1058062078,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d7e8f7e7c707ce4f81940dba44238c9331bfc9f8","before":"65df67eed0fcae8eb7b6f5f2f47d78ca37205047","commits":[{"sha":"d7e8f7e7c707ce4f81940dba44238c9331bfc9f8","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@agentultra.com","name":"James King"},"message":"Add BinarySearch.tla","distinct":true,"url":"https://api.github.com/repos/agentultra/software-spec-library/commits/d7e8f7e7c707ce4f81940dba44238c9331bfc9f8"}]}