{"push_id":1179201615,"size":2,"distinct_size":2,"ref":"refs/heads/log_via_feedback","head":"65a5cc4a596ced32cbe1fda9f786559c2a331ab4","before":"877cffc1a940d72c39401c617ca37a141b9cc05b","commits":[{"sha":"33ef67b9684d2942eedd96c1de7b53f1f1915a7d","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[merlin] Adjust merlin for ide.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/33ef67b9684d2942eedd96c1de7b53f1f1915a7d"},{"sha":"65a5cc4a596ced32cbe1fda9f786559c2a331ab4","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[ide] Use \"log via feedback\".\n\nWe remove the custom logger handler in ide_slave, and handle everything\nvia feedback. This is an experimental patch but seems to bring a bit\nmore uniform handling to messaging.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/65a5cc4a596ced32cbe1fda9f786559c2a331ab4"}]}
{"actor":{"display_login":"ejgallego"}}