KordingLab / llm4papers

Apache License 2.0
22 stars 0 forks source link

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

Closed j6k4m8 closed 1 year ago

j6k4m8 commented 1 year ago

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.

j6k4m8 commented 1 year ago

Addressing today.