{"shas":[["55933be1bda87cc4302816555cbf98fad07a64f8","3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@danielgrunwald.de","Formalization of project goals","Daniel Grunwald"]],"ref":"refs/heads/master","size":1,"head":"55933be1bda87cc4302816555cbf98fad07a64f8","push_id":33159796}