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

Update SSH key in actions #151

Merged

vlandau merged 1 commit into main from vl/tagbot_fix

Jan 29, 2024

Member

vlandau commented Jan 29, 2024 •

edited

Loading

This should fix both the documenter deploy and TagBot tagging...

I added a new deploy key, and updated the ssh key to the corresponding private key.


          update key in actions

6e08027

vlandau changed the title ~~Update key in actions~~ Update SSH key in actions

vlandau merged commit bb75338 into main

9 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet