Re: [HarfBuzz] Still Failing: harfbuzz/harfbuzz#2583 (master - 5078044)

You are right :) I am not why it has become that verbose, bad bot! So lets change it َhttps://github.com/harfbuzz/harfbuzz/pull/790 On Thu, Feb 15, 2018 at 12:22 AM, Behdad Esfahbod wrote: > Agreed. Created harfbuzz-bots-chat...@googlegroups.com >

Re: [HarfBuzz] Still Failing: harfbuzz/harfbuzz#2583 (master - 5078044)

Agreed. Created harfbuzz-bots-chat...@googlegroups.com https://groups.google.com/forum/#!aboutgroup/harfbuzz-bots-chatter Posting is open to public for now. If that becomes a problem, we'll make it member-only and whitelist the bots. Let's switch everything there. Should I also redirect the

Re: [HarfBuzz] Still Failing: harfbuzz/harfbuzz#2583 (master - 5078044)

Any chance we can make the CI a little quieter or send it to a different list? On Wed, Feb 14, 2018 at 2:15 AM, Travis CI wrote: > *harfbuzz / harfbuzz > * > (master