{"push_id":995826388,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0c3b0c7a721bf33c8e92bf6b351cb8879924f0b2","before":"cc0f785fbbcb47e551c1dadc2faa02733b61c0c3","commits":[{"sha":"0c3b0c7a721bf33c8e92bf6b351cb8879924f0b2","author":{"email":"3692bfa45759a67d83aedf0045f6cb635a966abf@slenders.be","name":"Jonathan Slenders"},"message":"Take margin into account when calculating Window height. Fixes bug in multiline prompt.","distinct":true,"url":"https://api.github.com/repos/jonathanslenders/python-prompt-toolkit/commits/0c3b0c7a721bf33c8e92bf6b351cb8879924f0b2"}]}