Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Get doc titles from the in-repo markdown files (Cherry-pick of #19311) #19321

Merged
merged 3 commits into from Jun 16, 2023

Conversation

thejcannon
Copy link
Member

Switches from grabbing doc titles from the web to grabbing them from the Markdown headers of in-repo files.

Tested locally. /tmp/pants_docs/help/option/mypy.md now shows:

...
This resolve must be defined in [python].resolves, as described in [Third-party dependencies](doc:python-third-party-dependencies#user-lockfiles).

Fixes #15872 and fixes #19309

Switches from grabbing doc titles from the web to grabbing them from the
Markdown headers of in-repo files.

Tested locally. `/tmp/pants_docs/help/option/mypy.md` now shows:
```
...
This resolve must be defined in [python].resolves, as described in [Third-party dependencies](doc:python-third-party-dependencies#user-lockfiles).
```

Fixes #15872 and fixes
#19309
@thejcannon thejcannon added this to the 2.17.x milestone Jun 15, 2023
@thejcannon thejcannon requested a review from kaos June 15, 2023 02:16
@thejcannon thejcannon merged commit b7d300d into 2.17.x Jun 16, 2023
49 checks passed
@thejcannon thejcannon deleted the cherry-pick-19311-to-2.17.x branch June 16, 2023 17:26
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.

None yet

3 participants