in case we ever run CI in that repo: keep in mind that we pay for it because the repo is private