{"push_id":808796853,"size":1,"distinct_size":1,"ref":"refs/heads/feature-sapic-heuristics","head":"561704306c61eab6c9a66c756f9fcef9c6791875","before":"484dc11e254518f08826b42bb083e48675624b09","commits":[{"sha":"561704306c61eab6c9a66c756f9fcef9c6791875","author":{"email":"e16ad41e1ca64ec3780a3192b3c3273946c8420e@cased.de","name":"Robert Künnemann"},"message":"Added README file for PKCS#11/templatepolicy","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/commits/561704306c61eab6c9a66c756f9fcef9c6791875"}]}