{"shas":[["1af8d04d69529391e9e3466c17264f3bbd8d3ace","5dafd35f839582555c7fde02a7d096763361b19d@ethz.ch","Taxonomy delete vocabulary works","Stefano Balietti"],["6163b4874cdf8bca3459913023b9e83389a9d9f6","5dafd35f839582555c7fde02a7d096763361b19d@ethz.ch","Improved editor: validation. Taxonomy improved, not yet working","Stefano Balietti"],["e9ab728231b5f91b2252a8a5bc1b7c3b575f5f54","5dafd35f839582555c7fde02a7d096763361b19d@ethz.ch","Merge branch 'master' of github.com:shakty/Patterns","Stefano Balietti"]],"ref":"refs/heads/master","size":3,"head":"e9ab728231b5f91b2252a8a5bc1b7c3b575f5f54","push_id":39483637}