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.

Sign up for GitHub

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

Jump to bottom

Don't edit lines if the user is still playing with them #3

Closed
j6k4m8 opened this issue Jun 6, 2023 · 1 comment
Closed

Don't edit lines if the user is still playing with them #3

j6k4m8 opened this issue Jun 6, 2023 · 1 comment
Assignees
@j6k4m8
Labels
enhancement New feature or request git thirdparty:overleaf

Comments

@j6k4m8
Copy link
Member

j6k4m8 commented Jun 6, 2023

As a proxy-measure for this, we can detect if the line with the AI-trigger comment has been edited in the last HEAD~ commit. If it has, then ignore it for now — it's possible the user is still editing it in realtime, and we don't want to start AI'ing before they're done prompting.
@wrongu wrongu mentioned this issue Jun 7, 2023
Open
@j6k4m8
Copy link
Member Author

j6k4m8 commented Jun 7, 2023

Addressing today.

@j6k4m8 j6k4m8 self-assigned this Jun 7, 2023
@j6k4m8 j6k4m8 mentioned this issue Jun 7, 2023
Merged
@j6k4m8 j6k4m8 closed this as completed Jun 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@j6k4m8 j6k4m8

Labels
enhancement New feature or request git thirdparty:overleaf
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@j6k4m8