Repository navigation

chore(infra): manage GitHub repo settings and deploy production on releases - #8

Merged

marcosgilf merged 9 commits into

mainfrom

infra/github-repo-and-release-deploy

Aug 11, 2026

Merged

chore(infra): manage GitHub repo settings and deploy production on releases#8
marcosgilf merged 9 commits into
mainfrom
infra/github-repo-and-release-deploy

Commits on Aug 11, 2026
- chore(infra): manage GitHub repo settings with Terraform
  marcosgilf
  committed
  f1a44dd
- chore(infra): add GitHub IaC bootstrap script
  marcosgilf
  committed
  12f60de
- fix(infra): clean up GitHub Terraform plan
  marcosgilf
  committed
  c7a5f91
- ci(infra): plan GitHub Terraform on PRs and apply on main
  marcosgilf
  committed
  54f779c
- docs(infra): document and reuse GitHub IaC scripts
  marcosgilf
  committed
  22ff57a
- fix(infra): reuse valid GitHub IaC bootstrap values
  marcosgilf
  committed
  3b1523c
- fix(infra): skip missing GitHub resources during import
  marcosgilf
  committed
  105acfa
- ci(infra): fail fast when Terraform GitHub token is missing
  marcosgilf
  committed
  3320daa
- ci(infra): check Terraform formatting
  marcosgilf
  committed
  e713bc9