Archived tweet #12128 from the @leastfixedpoint Twitter Archive

@CircleCI Thanks for the response! Yeah it's a bad situation all round, clearly there's only so much you as integrators can do. Many other github integrations have the same issue it seems. Hopefully things get finer-grained on the github side.