{"head":"a3b841d471f161659e1b14023192150c97f753f4","size":1,"push_id":44959688,"shas":[["a3b841d471f161659e1b14023192150c97f753f4","02d02e811da4fb4f389e866b67c0fe930c3e5051@gmail.com","adding GFI tool and proxy setting","ahocevar"]],"ref":"refs/heads/mapstory"}