{"push_id":987024588,"size":1,"distinct_size":1,"ref":"refs/heads/async","head":"8e81d31db55d607df3e391d1a915489e6a64fd94","before":"6dd00d8210eda91b5e637a5e45a866dee5ff21fd","commits":[{"sha":"8e81d31db55d607df3e391d1a915489e6a64fd94","author":{"email":"708021921dd6a20098ef38a6cb13a0e64f20e5c0@kfk4ever.com","name":"Maurice van der Pot"},"message":"tab: split off tab.getBaseName from tab.getDocumentTitle\n\nIt is useful to make a distinction between getDocumentTitle that may\nneed the converted markup and getBaseName that only does a string\noperation on the filename, because it makes it easier to see which parts\nof the code in window rely on markup conversion.","distinct":true,"url":"https://api.github.com/repos/retext-project/retext/commits/8e81d31db55d607df3e391d1a915489e6a64fd94"}]}