{"ref":"refs/heads/master","commits":[{"author":{"name":"nirlipo","email":"e1a0d5b87845ea232582ebfe61e80cf33e2bbaa4@gmail.com"},"url":"https://api.github.com/repos/miquelramirez/aptk/commits/38d90c201b7bdc36d03c14c5848444811723cec2","message":"fixed regression isGoal: candidate \\subseteq I","sha":"38d90c201b7bdc36d03c14c5848444811723cec2"}],"head":"38d90c201b7bdc36d03c14c5848444811723cec2","size":1,"push_id":48109482}