{"push_id":809169901,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cb98109b6ae5da6255e78a7c25896f7443ad784","before":"40c90c4ec55bf25e785ecda70cd1a40d33ae4f2d","commits":[{"sha":"1cb98109b6ae5da6255e78a7c25896f7443ad784","author":{"email":"7cda267d7f982e0f54ee510f4086dc9698ecef32@diamond.ac.uk","name":"Matthew Webber"},"message":"When stopping Java processes (i.e. GDA servers), use jps to determine the PIDs\nImprove the stop logic to make it a little faster\nLog a little more\n\nChange-Id: Ia9ffca582907859cae583acc4e0b62cd45cf01c2","distinct":true,"url":"https://api.github.com/repos/openGDA/gda-core/commits/1cb98109b6ae5da6255e78a7c25896f7443ad784"}]}