projects / platform / upstream / libHarfBuzzSharp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81ae497) | patch
[ci] Disable the just added bot
authorEbrahim Byagowi <ebrahim@gnu.org>
Fri, 8 Feb 2019 12:00:17 +0000 (15:30 +0330)
committerGitHub <noreply@github.com>
Fri, 8 Feb 2019 12:00:17 +0000 (15:30 +0330)
commit84694af723bde07cf3231ed2d2e193123f5f73ed
tree95a08e2ecd65721892f146333182b4c307e82f7ctree | snapshot
parent81ae4974e35aa8ca408abd6238eb768f5c948287commit | diff
[ci] Disable the just added bot

Doesn't play well with CircleCI apparently

https://circleci.com/gh/harfbuzz/harfbuzz/74289
.circleci/config.yml diff | blob | history
Domain: Dotnet / API;