{"shas":[["13c1f12283da0af8695c115fa101d8e381939f9e","1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@luismerino.name","Fixes jsdav and gittools rename","Luis Merino"]],"ref":"refs/heads/devel","size":1,"head":"13c1f12283da0af8695c115fa101d8e381939f9e","push_id":36883827}