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.

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

Continuation of Add search bar at bottom of revlog #506 #672

Closed
wants to merge 102 commits into from

Conversation

willir
Copy link

@willir willir commented Apr 25, 2021

Original pull request:
#506

I've fixed the following comments:

  1. Add search bar at bottom of revlog #506 (comment)
  2. Add search bar at bottom of revlog #506 (comment)
  3. Add search bar at bottom of revlog #506 (comment)

Please let me know whether those fixes are enough.
I'm also not sure whether this way is a good way to continue work of the @WizardOhio24, if not, I'd be glad to do it an alternative way.

@extrawurst
Copy link
Owner

@willir please look into the breaking CI so I can review this.

@willir
Copy link
Author

willir commented May 2, 2021

I hope I fixed the issue. Thanks for pinging me!

@extrawurst
Copy link
Owner

@willir please consider running make check locally to be sure the CI will not fail again

@WizardOhio24 WizardOhio24 mentioned this pull request May 7, 2021
@willir
Copy link
Author

willir commented May 8, 2021

@extrawurst Thanks for suggestion about make check. Hope it will pass now.

@extrawurst
Copy link
Owner

@extrawurst Thanks for suggestion about make check. Hope it will pass now.

no problem. could you rebase again?

@willir
Copy link
Author

willir commented May 18, 2021

I've merged master to find-sha.

@heliostatic
Copy link

This PR is really the only thing keeping me on tig -- @willir is there any chance you'll be able to revisit it this year?

@willir
Copy link
Author

willir commented Oct 19, 2021

Hi @heliostatic, I'll try to get back to it this coming weekend.

@extrawurst
Copy link
Owner

@willir still planning to get back to this? putting in draft till then

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants