{"shas":[["ad70ed80987401955e0ddca382b4740362053d50","2314b2e3a4a1f7db165be2aafbf1efd78f28cc97@.(none)","adding copies of source etc for public pages","Christian Bodart"]],"ref":"refs/heads/gh-pages","size":1,"head":"ad70ed80987401955e0ddca382b4740362053d50","push_id":38217294}