{"head":"c201af7cc09a95029bfcb404683769f0cff0301f","size":1,"push_id":44650203,"shas":[["c201af7cc09a95029bfcb404683769f0cff0301f","a724eb716e2d4e62b79609db6c892781dd8e22a0@gmail.com","Add a section in the docs for the new DOP_USER_AGENT option","Lorenzo Gil Sanchez"]],"ref":"refs/heads/master"}