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.

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

Clean up old GnuPG keys #471

Merged
merged 1 commit into from
May 2, 2016
Merged

Clean up old GnuPG keys #471

merged 1 commit into from
May 2, 2016

Conversation

juliandunn
Copy link
Contributor

No description provided.

@thesentinels
Copy link
Contributor

By analyzing the blame information on this pull request, we identified @adamhjk to be a potential reviewer

Signed-off-by: Julian C. Dunn <[email protected]>
@juliandunn juliandunn force-pushed the jcd/remove-old-gpg-keys branch from 0a88bdf to 5ff3a8c Compare May 2, 2016 00:12
@bookshelfdave
Copy link
Contributor

@thesentinels r+

@thesentinels
Copy link
Contributor

📌 Commit 5ff3a8c has been approved by metadave

@thesentinels
Copy link
Contributor

⌛ Testing commit 5ff3a8c with merge a592b50...

thesentinels pushed a commit that referenced this pull request May 2, 2016
Signed-off-by: Julian C. Dunn <[email protected]>

Pull request: #471
Approved by: metadave
@thesentinels
Copy link
Contributor

☀️ Test successful - travis

@thesentinels thesentinels merged commit 5ff3a8c into master May 2, 2016
@juliandunn juliandunn deleted the jcd/remove-old-gpg-keys branch June 6, 2016 15:45
jtimberman pushed a commit that referenced this pull request Jun 12, 2016
Signed-off-by: Julian C. Dunn <[email protected]>

Pull request: #471
Approved by: metadave
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.

3 participants