{"push_id":1011225627,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2956a2093b3fda16c755b9b7ccc2bab448f79f80","before":"0409089addace059a6c9e49da7a6f8ffbd80d401","commits":[{"sha":"2956a2093b3fda16c755b9b7ccc2bab448f79f80","author":{"email":"b4d3c0f243838b24a9b9b2ba008a6bc9f672a0b7@google.com","name":"Cosmos Nicolaou"},"message":"java: v.io/x/devtools: start to use profile-v23\n\nSwitch jiri test and hence all checked in\nreferences to use jiri profile vs jiri v23-profile.\n\nMultiPart: 2/16\n\nChange-Id: I28c3cdcdd31de39777ad0fe2d668ca7530fce4e2","distinct":true,"url":"https://api.github.com/repos/vanadium/java/commits/2956a2093b3fda16c755b9b7ccc2bab448f79f80"}]}