{"push_id":1396782337,"size":1,"distinct_size":1,"ref":"refs/heads/emacs","head":"6b03bc2b79734e8110887ce0817435a10390f71b","before":"72c76ea0a0d5f7f67e1587937ca5630b384ae905","commits":[{"sha":"6b03bc2b79734e8110887ce0817435a10390f71b","author":{"name":"Keshav Kini","email":"cb7179ceebe6878e08f7b19f595a1a5115facc9e@oracle.com"},"message":"Actually, always switch to the buffer if it exists\n\nAfter a conversation with Matt, I decided that users might actually\nprefer to be in the shell buffer if something goes wrong -- if the\nbuffer has no process, they can more easily start one there, and if\nthe buffer has the wrong prompt, they can more easily reenter ACL2 or\ndo whatever else is necessary to get an ACL2 prompt in the buffer, if\nthey are already in the buffer.\n\nHowever, I've retained the change that buffers should not be *created*\nwhen they don't exist, as this doesn't seem to make sense, and is also\nannoying to me personally :)","distinct":true,"url":"https://api.github.com/repos/kini/acl2/commits/6b03bc2b79734e8110887ce0817435a10390f71b"}]}
{"actor":{"display_login":"kini"}}