Let's create a new branch, named stable, which squashes all Git history.
We can configure stable to be updated automatically by the CI, and not accept any pushes.
Furthermore, we can set stable as the default branch, but target all PRs towards dev by default, so that cloning is always fast when done naively, but PRs take slightly more work.
Let's create a new branch, named
stable, which squashes all Git history.We can configure
stableto be updated automatically by the CI, and not accept any pushes.Furthermore, we can set
stableas the default branch, but target all PRs towardsdevby default, so that cloning is always fast when done naively, but PRs take slightly more work.