{"push_id":756025624,"size":1,"distinct_size":1,"ref":"refs/heads/fix/openocd-closing-ctrl-c","head":"864f24be3daf821af62375280b615794a0c6e09b","before":"27228770335d4e6d52a16deb4135f5ae2a6c85b0","commits":[{"sha":"864f24be3daf821af62375280b615794a0c6e09b","author":{"email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@daniel-krebs.net","name":"daniel-k"},"message":"debugging: fix openocd closing when pressing Ctrl+C in GDB, fix #3427","distinct":true,"url":"https://api.github.com/repos/daniel-k/RIOT/commits/864f24be3daf821af62375280b615794a0c6e09b"}]}