Skip to content

Merge stable into develop - #10056

Closed
infrahub-github-bot-app[bot] wants to merge 11 commits into
developfrom
stable
Closed

Merge stable into develop#10056
infrahub-github-bot-app[bot] wants to merge 11 commits into
developfrom
stable

fix: skip merged branches during git repository sync (#9938)

0d089bb
Select commit
Loading
Failed to load commit list.
Cloudflare Workers and Pages / Cloudflare Pages succeeded Jul 29, 2026 in 0s

Deployed successfully

Latest commit: 0d089bb
Status: ✅  Deploy successful!
Preview URL: https://769bd3db.infrahub.pages.dev
Branch Preview URL: https://emdash-sort-pc-885e2.infrahub.pages.dev

View logs