Skip to content
This repository was archived by the owner on Apr 30, 2024. It is now read-only.

Conversation

@DaedalusG
Copy link
Contributor

This pull request is part of the Sourcegraph 5.1.5 release.

Test plan

CI checks in this repository should pass, and a manual review should confirm if the generated changes are correct.

@BolajiOlajide BolajiOlajide merged commit 470c78c into master Jul 27, 2023
@BolajiOlajide BolajiOlajide deleted the publish-5.1.5 branch July 27, 2023 17:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants