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

completion: teach log about files #4898

Merged
merged 1 commit into from
Dec 6, 2024
Merged

completion: teach log about files #4898

merged 1 commit into from
Dec 6, 2024

Conversation

senekor
Copy link
Contributor

@senekor senekor commented Nov 17, 2024

stacked on #4895 (suggest file paths incrementally)

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

@senekor senekor mentioned this pull request Nov 17, 2024
18 tasks
cli/src/complete.rs Outdated Show resolved Hide resolved
cli/src/complete.rs Outdated Show resolved Hide resolved
cli/src/complete.rs Outdated Show resolved Hide resolved
@senekor senekor force-pushed the remo/mknomzkwyqpz branch 2 times, most recently from 81eb10d to 06822e3 Compare November 29, 2024 12:24
Base automatically changed from remo/mknomzkwyqpz to main December 1, 2024 10:06
@senekor
Copy link
Contributor Author

senekor commented Dec 1, 2024

If we're only reading files from one revision anyway, I think it's easiest to reuse all_files_from_rev with just some special logic for the argument parsing.

cli/src/complete.rs Outdated Show resolved Hide resolved
cli/src/complete.rs Outdated Show resolved Hide resolved
cli/src/complete.rs Outdated Show resolved Hide resolved
@senekor senekor requested a review from yuja December 6, 2024 12:19
Copy link
Contributor

@yuja yuja left a comment

Choose a reason for hiding this comment

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

Thanks.

cli/src/complete.rs Outdated Show resolved Hide resolved
@senekor senekor merged commit 8c6024c into main Dec 6, 2024
31 checks passed
@senekor senekor deleted the remo/mzrpqkvpnokm branch December 6, 2024 19:44
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