So can we just go back to using external CI platforms that just interact with GitHub's commit status API or whatever?