{"head":"5a043a9fabbd13ec658ca5934a806cfd450fc1ae","size":1,"push_id":43977834,"shas":[["5a043a9fabbd13ec658ca5934a806cfd450fc1ae","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@ummels.de","Made Python script slightly more elegant","Michael Ummels"]],"ref":"refs/heads/master"}