Skip to content

docs: trim query from search#1889

Merged
XhmikosR merged 13 commits intomainfrom
xmr/docs-search-query
Dec 17, 2023
Merged

docs: trim query from search#1889
XhmikosR merged 13 commits intomainfrom
xmr/docs-search-query

Conversation

@XhmikosR
Copy link
Copy Markdown
Member

@XhmikosR XhmikosR commented Dec 5, 2023 •
edited
Loading

@korki43 LGTY?

@XhmikosR XhmikosR added the docs Improvements or additions to documentation label Dec 5, 2023
github-advanced-security[bot]
github-advanced-security bot found potential problems Dec 5, 2023
View reviewed changes
@XhmikosR XhmikosR mentioned this pull request Dec 11, 2023
Merged
5 tasks
@XhmikosR XhmikosR marked this pull request as ready for review December 17, 2023 08:37
@kiehnek
Copy link
Copy Markdown
Contributor

kiehnek commented Dec 17, 2023

Sorry, was really busy last week.
LGTM!

@XhmikosR XhmikosR merged commit b9564a9 into main Dec 17, 2023
@XhmikosR XhmikosR deleted the xmr/docs-search-query branch December 17, 2023 13:03
@XhmikosR XhmikosR mentioned this pull request Dec 17, 2023
Merged
XhmikosR added a commit that referenced this pull request Dec 17, 2023
@XhmikosR
docs: update search (#1902)
6d8e947 
Followup to #1889
This was referenced May 17, 2024
Open
Open
Open
@RohitM-IN RohitM-IN mentioned this pull request May 20, 2024
Open
@rhrits rhrits mentioned this pull request May 20, 2024
Open
This was referenced May 21, 2024
Open
Open
@rhrits rhrits mentioned this pull request May 23, 2024
Open
@rhrits rhrits mentioned this pull request Sep 15, 2024
Closed
@RohitM-IN RohitM-IN mentioned this pull request Sep 16, 2024
Open
This was referenced Sep 16, 2024
Closed
Closed
This was referenced Sep 17, 2024
Open
Open
@rhrits rhrits mentioned this pull request Sep 18, 2024
Closed
@RohitM-IN RohitM-IN mentioned this pull request Sep 19, 2024
Open
@rhrits rhrits mentioned this pull request Sep 19, 2024
Closed
@RohitM-IN RohitM-IN mentioned this pull request Sep 20, 2024
Open
@rhrits rhrits mentioned this pull request Sep 20, 2024
Closed
This was referenced Sep 21, 2024
Open
Open
Open
Open
Open
Open
Open
Open
This was referenced Sep 29, 2024
Open
Open
Open
Open
Open
Open
@jtprogru jtprogru mentioned this pull request Oct 5, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Oct 5, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Oct 25, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Nov 1, 2024
Open
@RohitM-IN RohitM-IN mentioned this pull request Nov 8, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

docs Improvements or additions to documentation

Projects

No open projects
Icons v1.11.3
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@XhmikosR @kiehnek