{"shas":[["a075c5dd7f12a3a95f273c132d86fca3cb3033a4","7b5cb4e97ec5c4c2ba35ca1779a914629ad5168c@cern.ch","BUGFIX: killing jobs before deleting them","Mario"]],"ref":"refs/heads/cs_ses","size":1,"head":"a075c5dd7f12a3a95f273c132d86fca3cb3033a4","push_id":40947159}