Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

maint: update gpg signing key #90

Merged
merged 1 commit into from
Jun 20, 2023
Merged

maint: update gpg signing key #90

merged 1 commit into from
Jun 20, 2023

Conversation

vreynolds
Copy link
Contributor

@vreynolds vreynolds commented Jun 20, 2023 •
edited
Loading

Which problem is this PR solving?

  • package step fails in CI
  • this is remaining fallout from the great secrets rotation of 2023

Short description of the changes

@vreynolds vreynolds requested a review from a team June 20, 2023 20:05
@vreynolds vreynolds self-assigned this Jun 20, 2023
@vreynolds vreynolds added type: maintenance The necessary chores to keep the dust off. no-changelog Omit this PR from changelog/release notes. labels Jun 20, 2023
@cartermp cartermp merged commit fc9ba48 into main Jun 20, 2023
@cartermp cartermp deleted the vera.fix-gpg-key branch June 20, 2023 23:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cartermp cartermp cartermp approved these changes

Assignees

@vreynolds vreynolds

Labels
no-changelog Omit this PR from changelog/release notes. type: maintenance The necessary chores to keep the dust off.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vreynolds @cartermp