Skip to content

Backport #24603 to branch/v13#24767

Merged
ptgott merged 1 commit intobranch/v13from
auto-backport/24603-to-branch/v13
Apr 18, 2023
Merged

Backport #24603 to branch/v13#24767
ptgott merged 1 commit intobranch/v13from
auto-backport/24603-to-branch/v13

Conversation

@ptgott
Copy link
Copy Markdown
Contributor

@ptgott ptgott commented Apr 18, 2023

Backport #24603 to branch/v13

- Ignore the messaging linter in the changelog. The changelog uses a
  different heading convention than the rest of the docs (title case
  instead of sentence case), so it's difficult to apply the same
  standards consistently.

- Minor edits to the Manual AD guide
@ptgott ptgott enabled auto-merge April 18, 2023 21:10
@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from alexfornuto April 18, 2023 21:10
@ptgott ptgott added this pull request to the merge queue Apr 18, 2023
Merged via the queue into branch/v13 with commit 20c0328 Apr 18, 2023
@ptgott ptgott deleted the auto-backport/24603-to-branch/v13 branch April 18, 2023 21:32
@r0mant r0mant mentioned this pull request Jul 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants