github-starred/gitea
2
0
Fork 0
mirror of https://github.com/go-gitea/gitea.git synced 2026-03-22 06:24:14 -05:00
Code Issues 2.6k Packages Projects Releases 100 Wiki Activity

Make the dashboard filter bar ignore case #464

New Issue
Closed
opened 2025-11-02 03:24:22 -06:00 by GiteaMirror · 5 comments
GiteaMirror commented 2025-11-02 03:24:22 -06:00
Owner
Copy Link

Originally created by @donnex on GitHub (Mar 10, 2017).

The new repository filter bar implemented in 1.1 is really great but it would be really handy if this bar filtered repos by ignoring case. Right now it seems that you need to match the exact casing on your repositories names if you want a match.

Originally created by @donnex on GitHub (Mar 10, 2017). The new repository filter bar implemented in 1.1 is really great but it would be really handy if this bar filtered repos by ignoring case. Right now it seems that you need to match the exact casing on your repositories names if you want a match.
GiteaMirror added the type/enhancement label 2025-11-02 03:24:22 -06:00
GiteaMirror commented 2025-11-02 03:24:23 -06:00
Author
Owner
Copy Link

@lunny commented on GitHub (Mar 10, 2017):

@appleboy maybe you can do this.

@lunny commented on GitHub (Mar 10, 2017): @appleboy maybe you can do this.
GiteaMirror commented 2025-11-02 03:24:23 -06:00
Author
Owner
Copy Link

@appleboy commented on GitHub (Mar 10, 2017):

@donnex @lunny I will take it.

@appleboy commented on GitHub (Mar 10, 2017): @donnex @lunny I will take it.
GiteaMirror commented 2025-11-02 03:24:23 -06:00
Author
Owner
Copy Link

@appleboy commented on GitHub (Mar 10, 2017):

https://try.gitea.io/appleboy?q=xd I think this bar filtered repos by ignoring case.

@appleboy commented on GitHub (Mar 10, 2017): https://try.gitea.io/appleboy?q=xd I think this bar filtered repos by ignoring case.
GiteaMirror commented 2025-11-02 03:24:24 -06:00
Author
Owner
Copy Link

@pgaskin commented on GitHub (Mar 10, 2017):

I will do this, my fix also fixes my other bug #1205 .

@pgaskin commented on GitHub (Mar 10, 2017): I will do this, my fix also fixes my other bug #1205 .
GiteaMirror commented 2025-11-02 03:24:24 -06:00
Author
Owner
Copy Link

@pgaskin commented on GitHub (Mar 10, 2017):

I have opened PR #1207

@pgaskin commented on GitHub (Mar 10, 2017): I have opened PR #1207
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
$20
$250
$50
$500
backport/done
💎 Bounty
docs-update-needed
good first issue
hacktoberfest
issue/bounty
issue/confirmed
issue/critical
issue/duplicate
issue/needs-feedback
issue/not-a-bug
issue/regression
issue/stale
issue/workaround
lgtm/need 2
modifies/api
modifies/translation
outdated/backport/v1.18
outdated/theme/markdown
outdated/theme/timetracker
performance/bigrepo
performance/cpu
performance/memory
performance/speed
pr/breaking
proposal/accepted
proposal/rejected
pr/wip
pull-request
Mirrored from GitHub Pull Request
 reviewed/wontfix
💰 Rewarded
skip-changelog
status/blocked
topic/accessibility
topic/api
topic/authentication
topic/build
topic/code-linting
topic/commit-signing
topic/content-rendering
topic/deployment
topic/distribution
topic/federation
topic/gitea-actions
topic/issues
topic/lfs
topic/mobile
topic/moderation
topic/packages
topic/pr
topic/projects
topic/repo
topic/repo-migration
topic/security
topic/theme
topic/ui
topic/ui-interaction
topic/ux
topic/webhooks
topic/wiki
type/bug
type/deprecation
type/docs
type/enhancement
type/feature
type/miscellaneous
type/proposal
type/question
type/refactoring
type/summary
type/testing
type/upstream
No Label type/enhancement
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#464
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?