{"shas":[["5096459b17c2df69b1227e6a0666e22021c09726","f9ce8a31679011ee0db582b5ad70a9a0a1c63a54@gmx.de","using echo as remote popen","Gerhard Lipp"]],"ref":"refs/heads/develop","size":1,"head":"5096459b17c2df69b1227e6a0666e22021c09726","push_id":41491841}