{"push_id":2986011265,"size":1,"distinct_size":1,"ref":"refs/heads/pk/servlet-extension-handler","head":"8a88557822d2209b6400af053ea82516fd05060c","before":"6f8ec615b5121278d10bf2288fcea39cf9f28a90","commits":[{"sha":"8a88557822d2209b6400af053ea82516fd05060c","author":{"name":"Petr Kozelka","email":"c0c1394376c213e7e5c5009f5b3b719d6742b374@gmail.com"},"message":"PUBDEV-5820: use ExtensionManager instead, with registration via ServiceLoader resources","distinct":true,"url":"https://api.github.com/repos/h2oai/h2o-3/commits/8a88557822d2209b6400af053ea82516fd05060c"}]}
{"actor":{"display_login":"pkozelka"}}