There is a rolling distro branch in this repo but since we distribute packages to rolling from main of all repos, we will simply have the rolling branch here mirror the main branch. This PR adds a github action that will ensure rolling is just a mirror of main.
There is a
rollingdistro branch in this repo but since we distribute packages torollingfrommainof all repos, we will simply have therollingbranch here mirror themainbranch. This PR adds a github action that will ensure rolling is just a mirror of main.