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

Add Paul Dale and Tomas Mraz as possible release managers #321

Closed
wants to merge 1 commit into from

Conversation

t8m
Copy link
Member

@t8m t8m commented Apr 22, 2022

Also refer to the OTC page for list of PGP keys which requires
the list to include PGP keys if specified in the persondb.

Also refer to the OTC page for list of PGP keys which requires
the list to include PGP keys if specified in the persondb.
@t8m
Copy link
Member Author

t8m commented Apr 25, 2022

ping for the second review

@levitte
Copy link
Member

levitte commented May 6, 2022

Merged

e0cacfa Add Paul Dale and Tomas Mraz as possible release managers

@levitte levitte closed this May 6, 2022
openssl-machine pushed a commit that referenced this pull request May 6, 2022
Also refer to the OTC page for list of PGP keys which requires
the list to include PGP keys if specified in the persondb.

Reviewed-by: Matt Caswell <matt@openssl.org>
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from #321)
@t8m
Copy link
Member Author

t8m commented May 6, 2022

I made one mistake in the PR - the link to the OTC page was not updated. However also for some reason the Makefile update did not have any effect on the website, i.e., there are no PGP key fingerprints on the OTC page. @levitte any ideas?

@t8m t8m mentioned this pull request May 6, 2022
@levitte
Copy link
Member

levitte commented May 6, 2022

I made one mistake in the PR - the link to the OTC page was not updated. However also for some reason the Makefile update did not have any effect on the website, i.e., there are no PGP key fingerprints on the OTC page. @levitte any ideas?

Hmmm, I'll have a look. Might be a missing dependency

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants