Skip to content

Ignore pages during NewRepository - #309

Merged
Hayden-IO merged 1 commit into
sigstore:mainfrom
jku:ignore-pages-in-newrepository
Oct 12, 2026
Merged

Hayden-IO merged 1 commit into
sigstore:mainfrom
jku:ignore-pages-in-newrepository

Conversation

@jku

@jku jku commented Oct 12, 2026 •

Copy link
Copy Markdown
Member

This seems to be required after #301 that started using github.NewRepositoryPages to manage pages.

  • we never set .Pages on github.NewRepository anymore (and the field is now deprecated)
  • Adding IgnoreChanges([]string{"pages"}) ensures Repository never tries to call DELETE /repos/.../pages on the repos that still have a "pages" block in their Repository state
  • Actual Pages changes are now detected and applied by github.NewRepositoryPages

I came up with this because sigstore/community#755 includes "pages" block removals in pulumi preview (unrelated to the PR changes -- they are a result of #301 as far as I can tell) and I believe it should not.

This seems to be required after sigstore#301 that started using
github.NewRepositoryPages.

* we never set .Pages on github.NewRepository anymore
* Adding IgnoreChanges([]string{"pages"}) ensures Repository never
  tries to call DELETE /repos/.../pages on the repos that still have
  a "pages" block in their Repository state
* Actual Pages changes are now detected and applied by github.NewRepositoryPages

Signed-off-by: Jussi Kukkonen <jkukkonen@google.com>
@Hayden-IO
Hayden-IO merged commit 1b515a8 into sigstore:main Oct 12, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants