Skip to content

Update TagBot config - #53

Closed
fingolfin wants to merge 1 commit into
JuliaDatabases:masterfrom
fingolfin:mh/TagBot
Closed

Update TagBot config#53
fingolfin wants to merge 1 commit into
JuliaDatabases:masterfrom
fingolfin:mh/TagBot

Conversation

@fingolfin

Copy link
Copy Markdown
Member

No description provided.

@quinnj

quinnj commented Aug 10, 2026

Copy link
Copy Markdown
Member

Thanks, Max. The TagBot update is now on master through #56, with the stale SSH input corrected in #58. This PR is superseded, so I am closing it.

[reviewed by quinnj, posted by codex]

@quinnj quinnj closed this Aug 10, 2026
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