2 Коммитов

Автор	SHA1	Сообщение	Дата
Rolf Bjarne Kvinge	9b63357612	Limit GitHub comments to 32768 characters. (#8084) ... GitHub has a limit of twice that for comments, but 32k should be more than enough to say what we want to say.	2020-03-11 19:56:50 +01:00
Rolf Bjarne Kvinge	49cd1923de	[CI] Add scripts to set github status from Azure DevOps. (#5246)	2018-12-11 09:00:35 +01:00