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

Update TagBot.yml #217

Merged
merged 1 commit into from
Sep 30, 2022
Merged

Update TagBot.yml #217

merged 1 commit into from
Sep 30, 2022

Conversation

simonbyrne
Copy link
Member

PULL REQUEST

Use DOCUMENTER_KEY for TagBot

Purpose and Content

Previously the tags created by TagBot were not triggering the Documenter builds
https://github.com/JuliaRegistries/TagBot/blob/master/README.md#ssh-deploy-keys

Benefits and Risks

Builds docs on tags

Linked Issues

(Provide references to any link issues. Use closes #issuenum to automatically close an open issue)

  • Fixes #
  • Closes #

PR Checklist

  • This PR has a corresponding issue OR is linked to an SDI.
  • I have followed CliMA's codebase contribution and style guidelines OR N/A.
  • I have followed CliMA's documentation policy.
  • I have checked all issues and PRs and I certify that this PR does not duplicate an open PR.
  • Unit tests are included OR N/A.
  • Code used in an integration test OR N/A.
  • All tests ran successfully on my local machine OR N/A.
  • All classes, modules, and function contain appropriate docstrings OR N/A.
  • Documentation has been added/updated OR N/A.

Copy link
Collaborator

@odunbar odunbar left a comment

Choose a reason for hiding this comment

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

LGTM - I'll add this to CES and RF packages as well.

@odunbar
Copy link
Collaborator

odunbar commented Sep 30, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Sep 30, 2022

Build succeeded:

@bors bors bot merged commit b8af49c into main Sep 30, 2022
@bors bors bot deleted the sb/documenter-key branch September 30, 2022 20:32
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