{"shas":[["42460790b2e8bbf381492416bea844b1f27021e6","dbad20accf046f4a820a4ca175184347aa52ebce@gmail.com","dummy fix for duplicate name in docs","Georg Fruhwald"]],"ref":"refs/heads/master","push_id":20952227,"head":"42460790b2e8bbf381492416bea844b1f27021e6","size":1}