{"push_id":1239389555,"size":21,"distinct_size":6,"ref":"refs/heads/1644-write_pidfile_in_server_mode","head":"5b02fcf1c25214aadd1d1e85ea0baef48b0065f1","before":"a43349f237d6d8ba63a64271c17870675cd8286d","commits":[{"sha":"c24f7998fe7dfca4277f83076a119aabfe6186a0","author":{"name":"mcodescu","email":"e599951921964b3a9335f96cbf3258d706343d28@gmail.com"},"message":"theory of a node and its translation via a path of comorphisms via the RESTful API","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/c24f7998fe7dfca4277f83076a119aabfe6186a0"},{"sha":"5606c84ebef3de545602e215bbd87931334d48f0","author":{"name":"mcodescu","email":"e599951921964b3a9335f96cbf3258d706343d28@gmail.com"},"message":"translate graph via path","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/5606c84ebef3de545602e215bbd87931334d48f0"},{"sha":"63f101eea51c833ecf28ec5b1ff509595c9cc54e","author":{"name":"Jens Elkner","email":"672bd260065b18e1377364aff4eb75a4abb54682@iws.cs.uni-magdeburg.de"},"message":"PPA dependency fix","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/63f101eea51c833ecf28ec5b1ff509595c9cc54e"},{"sha":"769b1df58fe9db46bdb23ca8258c9cd02e3044ae","author":{"name":"Jens Elkner","email":"672bd260065b18e1377364aff4eb75a4abb54682@iws.cs.uni-magdeburg.de"},"message":"travis has only jdk7 (is always trusty)","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/769b1df58fe9db46bdb23ca8258c9cd02e3044ae"},{"sha":"78e99a04281ed74ae7455eac3e718d2e00882b92","author":{"name":"jelmd","email":"629cd4b7245630957bcec8d39576de1559fd5e1a@users.noreply.github.com"},"message":"Merge pull request #1650 from spechub/ppa_dep_fixes\n\nPPA dependency fix","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/78e99a04281ed74ae7455eac3e718d2e00882b92"},{"sha":"d1f37f9074c9ccba31385b3cb4eb212ae443b310","author":{"name":"Jens Elkner","email":"672bd260065b18e1377364aff4eb75a4abb54682@iws.cs.uni-magdeburg.de"},"message":"Ignore fakeroot check result","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/d1f37f9074c9ccba31385b3cb4eb212ae443b310"},{"sha":"66e08b28bab50d65a3fe7d7e4ab8fd973b712749","author":{"name":"jelmd","email":"629cd4b7245630957bcec8d39576de1559fd5e1a@users.noreply.github.com"},"message":"Merge pull request #1651 from spechub/ppa_dep_fixes\n\nIgnore fakeroot check result","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/66e08b28bab50d65a3fe7d7e4ab8fd973b712749"},{"sha":"16a6862513ecb21e32f2aeca914efc3fd6c9f868","author":{"name":"Jens Elkner","email":"672bd260065b18e1377364aff4eb75a4abb54682@iws.cs.uni-magdeburg.de"},"message":"add hets-libs dep to deb control","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/16a6862513ecb21e32f2aeca914efc3fd6c9f868"},{"sha":"4cc0a3156ac9f0f1e080433f8c4d050712e09d2b","author":{"name":"mcodescu","email":"e599951921964b3a9335f96cbf3258d706343d28@gmail.com"},"message":"compatibility with GHC 7.10.2","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/4cc0a3156ac9f0f1e080433f8c4d050712e09d2b"},{"sha":"dab141168df1b5ae84852d862b3aefc8782cfc7e","author":{"name":"mcodescu","email":"e599951921964b3a9335f96cbf3258d706343d28@gmail.com"},"message":"fromMaybe and trailing spaces","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/dab141168df1b5ae84852d862b3aefc8782cfc7e"},{"sha":"afa7d161adb9060838958a067a0dd236fde68cf0","author":{"name":"mcodescu","email":"e599951921964b3a9335f96cbf3258d706343d28@gmail.com"},"message":"Merge pull request #1640 from spechub/extensions_to_HETS_API\n\nExtensions to hets api","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/afa7d161adb9060838958a067a0dd236fde68cf0"},{"sha":"68ae7b41aca2f24dbbc376becc45a7b713cdc48d","author":{"name":"Jens Elkner","email":"672bd260065b18e1377364aff4eb75a4abb54682@iws.cs.uni-magdeburg.de"},"message":"update docs wrt. new pkg names/organization","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/68ae7b41aca2f24dbbc376becc45a7b713cdc48d"},{"sha":"0342b8a9733afd546d1418bae1f49fe924d127a1","author":{"name":"jelmd","email":"629cd4b7245630957bcec8d39576de1559fd5e1a@users.noreply.github.com"},"message":"Merge pull request #1652 from spechub/missing_dep\n\nadd hets-libs dep to deb control","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/0342b8a9733afd546d1418bae1f49fe924d127a1"},{"sha":"c8117ae0b6088d835211e494aef229558c814bd3","author":{"name":"cmaeder","email":"dc119facb5b4af0f1f16326b0ba5e1364bb181e9@jacobs-university.de"},"message":"make it compile using ghc-8.0.1","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/c8117ae0b6088d835211e494aef229558c814bd3"},{"sha":"dc0e779f7cd90886c83e998b4b2f63a61f2c25f5","author":{"name":"cmaeder","email":"a0e4b7805e69c4dc3c8813e6918a3822c7bbd77f@users.noreply.github.com"},"message":"Merge pull request #1660 from spechub/ghc-8.0.1\n\nmake it compile using ghc-8.0.1","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/dc0e779f7cd90886c83e998b4b2f63a61f2c25f5"},{"sha":"2b2459d0d0f988d1e66f1a4a5e270da746110cc3","author":{"name":"Eugen Kuksa","email":"25e40f0c6b309c714180981a3e7d061927cf8c1a@informatik.uni-bremen.de"},"message":"Write PID file in server mode.","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/2b2459d0d0f988d1e66f1a4a5e270da746110cc3"},{"sha":"c7278c66c646e201ccac3094c8e50ed1205f2398","author":{"name":"Eugen Kuksa","email":"25e40f0c6b309c714180981a3e7d061927cf8c1a@informatik.uni-bremen.de"},"message":"Add parameter for pidfile to manpage.","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/c7278c66c646e201ccac3094c8e50ed1205f2398"},{"sha":"b1b6b763a9d0f523dad1eb4c85f5c1aff896f78f","author":{"name":"Eugen Kuksa","email":"25e40f0c6b309c714180981a3e7d061927cf8c1a@informatik.uni-bremen.de"},"message":"Delete pidfile after termination (by INT and TERM).","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/b1b6b763a9d0f523dad1eb4c85f5c1aff896f78f"},{"sha":"18a7f03ecbc3b4fa7492ed5940d60541278cf8e1","author":{"name":"Eugen Kuksa","email":"25e40f0c6b309c714180981a3e7d061927cf8c1a@informatik.uni-bremen.de"},"message":"Beautify manpage line of pidfile.","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/18a7f03ecbc3b4fa7492ed5940d60541278cf8e1"},{"sha":"ebc8c6f1ae635c3a206d2796e5e5a678cf9a7036","author":{"name":"Eugen Kuksa","email":"25e40f0c6b309c714180981a3e7d061927cf8c1a@informatik.uni-bremen.de"},"message":"Print warnings for option -P without -X.","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/ebc8c6f1ae635c3a206d2796e5e5a678cf9a7036"}]}
{"actor":{"display_login":"eugenk"}}