{"push_id":1090069488,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"59d44d401e7bec015f619f9c05917e3c86aab721","before":"055a1cff03e0c055f12fe298d36574a070e20ec4","commits":[{"sha":"d280640d7ac6ae86efed6086e66578187da854ab","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Some naming in views","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/d280640d7ac6ae86efed6086e66578187da854ab"},{"sha":"59d44d401e7bec015f619f9c05917e3c86aab721","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Added Data.String.Views\n\nCurrently only has a traversal of strings as characters. More to be\nadded!","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/59d44d401e7bec015f619f9c05917e3c86aab721"}]}