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.

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

Add documentation tag for docs/* branches #35

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Add documentation tag for docs/* branches #35

merged 1 commit into from
Oct 20, 2023

Conversation

0237h
Copy link
Collaborator

@0237h 0237h commented Oct 20, 2023

No description provided.

@0237h 0237h temporarily deployed to dev-test October 20, 2023 22:55 — with GitHub Actions Inactive
@github-actions github-actions bot added feature New feature or request ops Related to repo maintenance labels Oct 20, 2023
@0237h 0237h merged commit b643ef7 into main Oct 20, 2023
3 checks passed
@0237h 0237h deleted the feature/tag-docs-branches branch October 20, 2023 22:57
@0237h 0237h removed the feature New feature or request label Oct 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
ops Related to repo maintenance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@0237h