{"push_id":1122741285,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"02c21d80997c319924eaaf81b24a2f5bd57e53b3","before":"23bf6df2d3c33ae789a4b474c4329db56a13e596","commits":[{"sha":"02c21d80997c319924eaaf81b24a2f5bd57e53b3","author":{"email":"04c72274e48af45cce7819c0d305a35028456036@adacore.com","name":"pat-rogers"},"message":"Remove initialization check from function Has_Been_Pressed, replaced with pre/postconditions.\n\nAdd parameter to Initialize so that user can select button interrupt rising or falling edge,\nwith default to True so that current callers can keep behavior without source changes.\n\nSee discussion Issue #23.","distinct":true,"url":"https://api.github.com/repos/AdaCore/bareboard/commits/02c21d80997c319924eaaf81b24a2f5bd57e53b3"}]}
{"actor":{"display_login":"pat-rogers"}}