{"push_id":1138456557,"size":1,"distinct_size":1,"ref":"refs/heads/auto-term-resize","head":"e935155bcecae698a2f3304e663528770b27d2e3","before":"eadb6971ea5cc0cd2540c4a4b8fb2e418a412e47","commits":[{"sha":"e935155bcecae698a2f3304e663528770b27d2e3","author":{"name":"Damien George","email":"34afc15d37b7b0ca8c0f37c1d2357b35441fbe9f@gmail.com"},"message":"webrepl.html: Automatically resize the terminal to fill the window.\n\nThe terminal widget is resized depending on the size of its containing\nwindow.  The minimum size is 80x24 characters and the maximum is 150x80\n(these numbers can be tuned if needed).  There is also a small margin on\nthe right side and the bottom.","distinct":true,"url":"https://api.github.com/repos/dpgeorge/webrepl/commits/e935155bcecae698a2f3304e663528770b27d2e3"}]}
{"actor":{"display_login":"dpgeorge"}}