Anthony Baker Tue, 03 Jul 2018 20:12:01 -0700
Today I merged a commit that seemed to have caused a flood of CI emails. I’ve paused the PR pipeline for now and hopefully that should clear things up.
Apologies, Anthony
