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.

Sign up for GitHub

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

Jump to bottom

provide a non-repository scoped version of [githubcodesearch] #10733

Merged
merged 1 commit into from
Dec 15, 2024
Merged

provide a non-repository scoped version of [githubcodesearch] #10733

merged 1 commit into from
Dec 15, 2024

Conversation

chris48s
Copy link
Member

provide a non-repository scoped version of Github Code Search badge

and redirect /github/search/user/repo/query to /github/search?query=query%20repo:user/repo

Closes #10686
Refs #10687

@ccoVeille @chris48s
provide a non-repository scoped version of [githubcodesearch]
0009ecd 
and redirect /search/user/repo/q
to /search?query=q%20repo:user/repo
@chris48s chris48s added the service-badge New or updated service badge label Dec 11, 2024
@github-actions GitHub Actions
Copy link
Contributor

Messages
📖 ✨ Thanks for your contribution to Shields, @chris48s!

Generated by 🚫 dangerJS against 0009ecd

@chris48s chris48s mentioned this pull request Dec 11, 2024
Closed
@chris48s chris48s requested a review from jNullj December 11, 2024 20:59
PyvesB
PyvesB approved these changes Dec 15, 2024
View reviewed changes
Copy link
Member

@PyvesB PyvesB left a comment

Choose a reason for hiding this comment

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

Looks reasonable to me! 👍🏻

jNullj
jNullj approved these changes Dec 15, 2024
View reviewed changes
Copy link
Member

@jNullj jNullj left a comment

Choose a reason for hiding this comment

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

LGTM, also gave it a little run locally.
image
http://localhost/github/search?query=img.shields.io%20NOT%20is%3Afork%20NOT%20is%3Aarchived

@chris48s chris48s added this pull request to the merge queue Dec 15, 2024
Merged via the queue into badges:master with commit 21a059d Dec 15, 2024
24 checks passed
@chris48s chris48s deleted the 10686-codesearch branch December 15, 2024 20:21
@ccoVeille
Copy link
Contributor

The badge is now available

https://shields.io/badges/git-hub-code-search-count

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jNullj jNullj jNullj approved these changes

@PyvesB PyvesB PyvesB approved these changes

@ccoVeille ccoVeille ccoVeille approved these changes

Assignees
No one assigned
Labels
service-badge New or updated service badge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

extends GitHub Code Search
4 participants
@chris48s @ccoVeille @PyvesB @jNullj