{"head":"544bf1bb09765028681b5bb7ebf1cc20fd4be12c","size":1,"push_id":44886712,"shas":[["544bf1bb09765028681b5bb7ebf1cc20fd4be12c","fb117f5d46f132c87dc8cdf9596905a8ab30a95e@cs.virginia.edu","A git porcelain for removing all local and remote tags","Wei Hu"]],"ref":"refs/heads/master"}