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

Update about-searching-on-github.md #214

Merged
merged 4 commits into from
Oct 8, 2020
Merged

Conversation

casals
Copy link
Contributor

@casals casals commented Oct 7, 2020

Why:

Fixes #157 .

What's being changed:

Made the changes as suggested by the issue author. For the first change (initial sentence in the first section), now it reads: "Our integrated search covers all of the many repositories (...)".

Check off the following:

Copy link
Contributor

@janiceilene janiceilene left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great @casals! I'm updating the branch and will merge it once the tests are green 🍏

@janiceilene janiceilene merged commit 5462ded into github:main Oct 8, 2020
jnidzwetzki pushed a commit to jnidzwetzki/docs that referenced this pull request Oct 6, 2022
* Fix syntax so that links render correctly

* Fix broken link in admon.

* Fix link syntax in admon

* Fix typo in link

* Fix bad path in link

* Fix path in link

* Fix syntax and correct bad path

* Remove anchor from top level

* Add full path to links to get to API section.

* Update syntax and links in relnotes

* Update syntax

* Update syntax

* Fix syntax

* Update syntax

* Fix syntax

* Update timescale-forge/create-a-service.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document search limitations around exact match and partial match
2 participants