Skip to content

RE: Added language as a filter to explore/repo_search #29044

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

Open
wants to merge 37 commits into
base: main
Choose a base branch
from

Conversation

snematoda
Copy link

continuation of #24212

@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Feb 4, 2024
@github-actions github-actions bot added modifies/api This PR adds API routes or modifies them modifies/frontend labels Feb 4, 2024
@yp05327
Copy link
Contributor

yp05327 commented Feb 9, 2024

Although the original push is 2023, but should we change the copyright from 2023 to 2024? 😄

@snematoda
Copy link
Author

Although the original push is 2023, but should we change the copyright from 2023 to 2024? 😄

Not too sure about this ... But, Isn't it generally preferred to use the date the code was pushed over the date of release?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. modifies/api This PR adds API routes or modifies them
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants