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

Searching (filtering) commits #586

Closed
vasek17 opened this Issue Dec 7, 2015 · 3 comments

Comments

Projects
None yet
2 participants
@vasek17
Copy link
Member

vasek17 commented Dec 7, 2015

It would be very useful to be able to filter currently displayed commits e.g. when looking for certain commit or hiding useless commits as spam comments.

First we'll create a textbox for entering query in some kind of query language. Later we can create more advanced UI.

@vasek17 vasek17 self-assigned this Dec 7, 2015

@vasek17 vasek17 added this to the 3.0 milestone Dec 7, 2015

@borekb

This comment has been minimized.

Copy link
Member

borekb commented Dec 8, 2015

This issue was created after discussing #161 which is somewhat similar but more focused.

@borekb borekb changed the title Filtering currently displayed commits Filtering / searching of commits Dec 8, 2015

@borekb borekb changed the title Filtering / searching of commits Filtering / searching commits Dec 13, 2015

vasek17 added a commit that referenced this issue Jan 11, 2016

vasek17 added a commit that referenced this issue Jan 11, 2016

vasek17 added a commit that referenced this issue Jan 11, 2016

@borekb borekb referenced this issue Jan 17, 2016

Merged

Sort out frequent DB writes #627

1 of 1 task complete

@vasek17 vasek17 added the size: l label Feb 2, 2016

vasek17 added a commit that referenced this issue Feb 19, 2016

vasek17 added a commit that referenced this issue Feb 19, 2016

vasek17 added a commit that referenced this issue Feb 19, 2016

vasek17 added a commit that referenced this issue Feb 19, 2016

@borekb

This comment has been minimized.

Copy link
Member

borekb commented Mar 23, 2016

I've updated the title to reflect the newest decision on terminology: the feature will be primarily called searching as on GitHub or Gmail. On GitHub, they also freely use "filtering" as a synonym but never in a title – the primary term is searching (see this help page). (In Gmail, filtering has a different meaning; their search help page is here.)

vasek17 added a commit that referenced this issue Mar 24, 2016

vasek17 added a commit that referenced this issue Mar 24, 2016

vasek17 added a commit that referenced this issue Mar 24, 2016

vasek17 added a commit that referenced this issue Mar 24, 2016

@octopuss octopuss referenced this issue Apr 5, 2016

Merged

Undo of a range / selection of commits #798

2 of 2 tasks complete

@vasek17 vasek17 closed this in #730 Apr 5, 2016

@vasek17 vasek17 referenced this issue Apr 6, 2016

Merged

Display environment in which a commit originated #858

3 of 3 tasks complete

@borekb borekb removed the in review label Apr 28, 2016

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