payload: {"push_id":4322444187,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"a5c01f18abc7ed3cafc5b2921f35897e6243ecee","before":"8d6c24ab50f2c9df176c044fa8d3dcb4cb7bbf3c","commits":[{"sha":"a5c01f18abc7ed3cafc5b2921f35897e6243ecee","author":{"name":"ComFreek","email":"c8ebe2a4f764ccf2478ae56e3958370aeeb1b97b@outlook.com"},"message":"fix(diagops): automatic lifting to morphisms now also adjusts LHS names","distinct":true,"url":"https://api.github.com/repos/UniFormal/MMT/commits/a5c01f18abc7ed3cafc5b2921f35897e6243ecee"}]}
other: {"actor":{"display_login":"ComFreek"}}