{"push_id":2752044124,"size":1,"distinct_size":1,"ref":"refs/heads/kprove_basic_log","head":"7ec6c34bf6c376c51e16a06b5e722a9f53ffb4ec","before":"e67d262c8d94cd14415591cb01887b05e3720113","commits":[{"sha":"7ec6c34bf6c376c51e16a06b5e722a9f53ffb4ec","author":{"name":"Denis Bogdanas","email":"92a35fe6e840bf19a77001a55afbf16776a19f02@gmail.com"},"message":"Profiling: converted Profiler2 to a GlobalContext component, made all members non-static, to support multi-threading.","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/7ec6c34bf6c376c51e16a06b5e722a9f53ffb4ec"}]}
{"actor":{"display_login":"denis-bogdanas"}}