{"push_id":982717949,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5e57083aefba14906c46b3f035be48b88c6aaf48","before":"83ddc14dd76eeeb4d3320471626e80b2b098173e","commits":[{"sha":"5e57083aefba14906c46b3f035be48b88c6aaf48","author":{"email":"ad893630f8c677b4386e74627727d01cae0e6fa0@gmail.com","name":"dprasad"},"message":"Renamed the existing array-based implementation of stack as safe-stack and moved it to the 'stack' directory that holds other sequence-based implementations.","distinct":true,"url":"https://api.github.com/repos/sois/verified-software-initiative/commits/5e57083aefba14906c46b3f035be48b88c6aaf48"}]}