{"head":"a075ee9a5bfda5c4a5feb15310186c91747354ac","size":1,"push_id":45352198,"shas":[["a075ee9a5bfda5c4a5feb15310186c91747354ac","01d284f7f4e6204541afff5620fb3b65671d7dcc@openwide.fr","patched registry-frascati renaming","Marc Dutoo"]],"ref":"refs/heads/master"}