Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 2, 2023

Changelog for Release server-2023-10-02

@github-actions github-actions bot added the release PRs with this label will create a tag when merged label Oct 2, 2023
@chris48s chris48s enabled auto-merge October 2, 2023 17:12
@github-actions
Copy link
Contributor Author

github-actions bot commented Oct 2, 2023

Messages
📖

✨ Thanks for your contribution to Shields, @github-actions[bot]!

📖

Thanks for contributing to our documentation. We ❤️ our documentarians!

Generated by 🚫 dangerJS against 315f621

@chris48s chris48s added this pull request to the merge queue Oct 2, 2023
Merged via the queue into master with commit 01d15a2 Oct 2, 2023
@chris48s chris48s deleted the server-2023-10-02-d17fc041 branch October 2, 2023 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release PRs with this label will create a tag when merged

Development

Successfully merging this pull request may close these issues.

2 participants