{"push_id":1068168431,"size":2,"distinct_size":2,"ref":"refs/heads/stable-4.8","head":"b3bc9faf6c3206535a9f52511fd7f0b63c540cbb","before":"5a3733962cdc21341e07861c896631cc348770c3","commits":[{"sha":"99078e1aa9ba0f7209fe363ea031230922be1124","author":{"email":"7640c961cc981a1261376ebb84f7741662c8ac6e@st-andrews.ac.uk","name":"Chris Jefferson"},"message":"Make sure Append marks strings as not sorted any more when Appending","distinct":true,"url":"https://api.github.com/repos/gap-system/gap/commits/99078e1aa9ba0f7209fe363ea031230922be1124"},{"sha":"b3bc9faf6c3206535a9f52511fd7f0b63c540cbb","author":{"email":"57f7701b681f0db5307f2d76c89f7202a2ce279c@users.noreply.github.com","name":"Markus Pfeiffer"},"message":"Merge pull request #735 from ChrisJefferson/stable-string-append\n\nMake sure Append marks strings as not sorted any more when Appending","distinct":true,"url":"https://api.github.com/repos/gap-system/gap/commits/b3bc9faf6c3206535a9f52511fd7f0b63c540cbb"}]}