{"shas":[["bc29ff9e890c04350d916eef9c7fd992aeb40cfe","38bfb6640636de28997b5b52488be1fb0e57a2f4@cornell.edu","update toolbar search links to point to the new places","Robert Buels"],["648edf332b09e9e73fd537172250014a31688878","38bfb6640636de28997b5b52488be1fb0e57a2f4@cornell.edu","make direct_search.pl calls result in a permanent redirect.  this is important for search engines to keep our URLs straight.","Robert Buels"]],"ref":"refs/heads/master","size":2,"head":"648edf332b09e9e73fd537172250014a31688878","push_id":33676188}