tree 0865931fc55748ce89c0335c57c878d7c7250b54
parent 90e2e8879690422659413657a668a97bb1d06d60
author Peter Weinbergr <pjw@google.com> 1670606941 -0500
committer Hyang-Ah Hana Kim <hyangah@gmail.com> 1670629280 +0000

[gopls-release-branch.0.11] gopls/hover: remove header tags from hover markdown

Lines in go doc that look like '// ## Header' generate, by
default, tags in the markdown that look like '{hdr-Header}'
which are harmless and annoying. This CL generates the markdown
without the tags.

Fixes: golang/go#57048
Change-Id: I7109775ea3ec6b51504d62108187e3614b2d1e9d
Reviewed-on: https://go-review.googlesource.com/c/tools/+/456535
Run-TryBot: Peter Weinberger <pjw@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
gopls-CI: kokoro <noreply+kokoro@google.com>
Reviewed-by: Hyang-Ah Hana Kim <hyangah@gmail.com>
Reviewed-on: https://go-review.googlesource.com/c/tools/+/456641
Run-TryBot: Hyang-Ah Hana Kim <hyangah@gmail.com>