Per discussion on discord, most use their master branch to mirror upstream, and do not need CI to run when they sync.