{"push_id":2622751172,"size":4,"distinct_size":4,"ref":"refs/heads/mh/more-scanner-stuff","head":"cb2ffa2ab7c8a5e17e4afdcd18a711305e0d97c0","before":"0dfba860714f59c957a2067736e1f3ee88388a6a","commits":[{"sha":"548d72c92febbceb784ac494edfca7e332b34909","author":{"name":"Max Horn","email":"0706025b2bbcec1ed8d64822f4eccd96314938d0@quendi.de"},"message":"scanner: add AddCharToBuf helper to simplify GetHelp\n\nAlso change AppendBufToString to properly null terminate the GAP string it\nmodifies.","distinct":true,"url":"https://api.github.com/repos/fingolfin/gap/commits/548d72c92febbceb784ac494edfca7e332b34909"},{"sha":"90816385c376f136e0bcb2818eeddeaf5e2cc630","author":{"name":"Max Horn","email":"0706025b2bbcec1ed8d64822f4eccd96314938d0@quendi.de"},"message":"scanner: overhaul string parsing\n\n* rename GetMaybeTripStr to GetString\n* change GetStr and GetTripStr to use AddCharToBuf\n* move common code in GetStr and GetTripStr to GetString","distinct":true,"url":"https://api.github.com/repos/fingolfin/gap/commits/90816385c376f136e0bcb2818eeddeaf5e2cc630"},{"sha":"aee13178de3307240f13a052352142c4ad122d70","author":{"name":"Max Horn","email":"0706025b2bbcec1ed8d64822f4eccd96314938d0@quendi.de"},"message":"kernel: replace SAFE_VALUE_SIZE by MAX_VALUE_LEN","distinct":true,"url":"https://api.github.com/repos/fingolfin/gap/commits/aee13178de3307240f13a052352142c4ad122d70"},{"sha":"cb2ffa2ab7c8a5e17e4afdcd18a711305e0d97c0","author":{"name":"Max Horn","email":"0706025b2bbcec1ed8d64822f4eccd96314938d0@quendi.de"},"message":"kernel: rename bufLen -> bufsize in AppendBufToString","distinct":true,"url":"https://api.github.com/repos/fingolfin/gap/commits/cb2ffa2ab7c8a5e17e4afdcd18a711305e0d97c0"}]}
{"actor":{"display_login":"fingolfin"}}