Skip to content

Conversation

tcgilbert
Copy link
Contributor

Proposed changes

Hide docs and correct folder name, as integration is in private beta.

Merge timing

asap

@tcgilbert tcgilbert requested a review from a team as a code owner November 5, 2024 16:24
@tcgilbert tcgilbert requested a review from pwseg November 5, 2024 16:24
@pwseg pwseg changed the title [DevRev] Hide docs and correct folder name Hide DevRev docs and correct folder name Nov 5, 2024
@pwseg pwseg added the back-end fixes or updates to the site itself, which should not go in release notes label Nov 5, 2024
@pwseg pwseg merged commit 1909e2f into develop Nov 5, 2024
5 checks passed
@pwseg pwseg deleted the thomas/devrev branch November 5, 2024 19:03
Copy link
Contributor

github-actions bot commented Nov 5, 2024

Thank you for your contribution! Your pull request is merged, but may take a day or two to appear on the site.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

back-end fixes or updates to the site itself, which should not go in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants