{"push_id":1860973587,"size":1,"distinct_size":1,"ref":"refs/heads/domain-model","head":"14f153877504dd5e180904147afec49d7c0f989b","before":"52e787fd22bca5579c15943b391f844bea5dcbba","commits":[{"sha":"14f153877504dd5e180904147afec49d7c0f989b","author":{"name":"Joe Kiniry","email":"c8fb919edf51dcec80527b30a3df2d6e441530e8@freeandfair.us"},"message":"Continuing to revise domain model.\n\nAdding FAFESSL @relation annotations for subtyping declarations.\nShifted all PVS comments to column 0. Refined specification of\ndashboards.  I am beginning to identify and define all dashboard\nfeatures now. Refined the authentication specification and the only\nthing left to add is an authentication monad. I’m continuing to add\nmessage types which will eventually be realized in the UI.","distinct":true,"url":"https://api.github.com/repos/FreeAndFair/ColoradoRLA/commits/14f153877504dd5e180904147afec49d7c0f989b"}]}
{"actor":{"display_login":"kiniry"}}