{"push_id":1305438808,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"4a08ba4460f491c8152c2b09ae32b111a0855c58","before":"e41350f1a0576132876ce12b72d5397a2c59d923","commits":[{"sha":"c02bab150f3199bdaaf2e48a1c0055f16cc89a37","author":{"name":"GautierBerck","email":"98548c50b65dac19fe1c26f016c48b59d558ba77@ertmssolutions.com"},"message":"Implementation: terminal registration rework","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/c02bab150f3199bdaaf2e48a1c0055f16cc89a37"},{"sha":"d271d0c5f068b9c986f276bba94364d70044eff9","author":{"name":"GautierBerck","email":"98548c50b65dac19fe1c26f016c48b59d558ba77@ertmssolutions.com"},"message":"Implementation: follow changes regarding terminal registration","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/d271d0c5f068b9c986f276bba94364d70044eff9"},{"sha":"4a08ba4460f491c8152c2b09ae32b111a0855c58","author":{"name":"GautierBerck","email":"98548c50b65dac19fe1c26f016c48b59d558ba77@ertmssolutions.com"},"message":"Comment and traceability","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/4a08ba4460f491c8152c2b09ae32b111a0855c58"}]}
{"actor":{"display_login":"GautierBerck"}}