Skip to content

Add workflow to push-sync files to pulp/.github - #4

Merged
pedro-psb merged 1 commit into
pulp:mainfrom
pedro-psb:add-sync-workflow-for-dot-github-repo
Sep 2, 2026
Merged

Add workflow to push-sync files to pulp/.github#4
pedro-psb merged 1 commit into
pulp:mainfrom
pedro-psb:add-sync-workflow-for-dot-github-repo

Conversation

@pedro-psb

@pedro-psb pedro-psb commented Sep 1, 2026

Copy link
Copy Markdown
Member

Adding a push-sync workflow, as discussed here.

@pedro-psb
pedro-psb marked this pull request as ready for review September 1, 2026 19:27
app-id: ${{ secrets.PULP_APP_ID }}
private-key: ${{ secrets.PULP_APP_PRIVATE_KEY }}
owner: pulp
repositories: .github

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These are all set:

  • The GithubApp content write permission is scoped to pulp/.github
  • The ID/PRIVATE_KEY secrets access are scoped to pulp/governance.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So this action should be called login?
"create-github-app-token" sounds like security theatre.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like a login and smells like a login 🤷

@pedro-psb
pedro-psb requested a review from mdellweg September 1, 2026 19:30
f"https://github.com/{GOVERNANCE_REPO}/blob/{branch}/"
"docs/vulnerability-management-policy.md"
)
return content.replace("docs/vulnerability-management-policy.md", replacement)

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I can update the link to point to pulpproject.org when that's published there, but I don't think it's a bad idea to point directly to the repository blob (that's the most up-to-date possible).

Comment on lines +29 to +32
class ContentHandler(Protocol):
"""Processes file content during sync."""

def __call__(self, content: str) -> str: ...

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this a wordy way to say Callable[[str], str]?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes. Self-documenting I would say

app-id: ${{ secrets.PULP_APP_ID }}
private-key: ${{ secrets.PULP_APP_PRIVATE_KEY }}
owner: pulp
repositories: .github

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So this action should be called login?
"create-github-app-token" sounds like security theatre.

@pedro-psb
pedro-psb merged commit 28904c9 into pulp:main Sep 2, 2026
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