{"push_id":3141685878,"size":2,"distinct_size":2,"ref":"refs/heads/fix-dune-package-generation","head":"4e5c74282e807a851b06a6b50504e8a0c7dabb84","before":"ccb86b1eda4f723128832a7f5ca6c5893856df94","commits":[{"sha":"d895a1b5b87007b232426d69a3471d3dedd6ac8a","author":{"name":"Jérémie Dimino","email":"aa5d8c8bb73d4465608582ffc8dcd3cb76639f53@dimino.org"},"message":"Fix handling of Control+C in watch mode (#1678)\n\n- prevent proceses started by dune from being killed, in particular\r\n  the file watcher\r\n- fix handling of signals after a failing build\r\n\r\nFixes #1671\r\n\r\nSigned-off-by: Jeremie Dimino <jeremie@dimino.org>","distinct":true,"url":"https://api.github.com/repos/diml/dune/commits/d895a1b5b87007b232426d69a3471d3dedd6ac8a"},{"sha":"4e5c74282e807a851b06a6b50504e8a0c7dabb84","author":{"name":"Jérémie Dimino","email":"aa5d8c8bb73d4465608582ffc8dcd3cb76639f53@dimino.org"},"message":"Merge branch 'master' into fix-dune-package-generation","distinct":true,"url":"https://api.github.com/repos/diml/dune/commits/4e5c74282e807a851b06a6b50504e8a0c7dabb84"}]}
{"actor":{"display_login":"diml"}}