Tommy Couzens
07/10/2026, 3:18 PMGareth Brickman
07/10/2026, 3:29 PMTommy Couzens
07/10/2026, 3:41 PMmain instead of its parent, and then merge manually in github. But this seems like a bad process and cumbersome to tell engineersGareth Brickman
07/10/2026, 4:19 PMgt fold to squash the PRs within the stack into a single PR prior to merge time.Tommy Couzens
07/10/2026, 4:23 PMTommy Couzens
07/10/2026, 4:28 PMTommy Couzens
07/10/2026, 4:36 PMTommy Couzens
07/10/2026, 4:38 PMTommy Couzens
07/14/2026, 3:47 PMjobs:
lint:
runs-on: ubuntu-latest
if: ${{ !startsWith(github.head_ref, 'gtmq_') }}