- Checkout the code to a temporary directory (which is deleted when it goes out of scope in python, so at the end of the indexing API call)
- Use Tree Sitter to create an index of just your chosen "Directory to Index" and then store that in a Redis cache
- We clear the index from the Redis cache if you haven't used it in 2 hours.
I don't know why exactly it says the message to "Act on your behalf". I just double-checked in our app, and confirmed that these are the only permissions we get:
- Contents - Read-only
- Metadata - Read-only
- Email addresses - Read-only
We agree that we shouldn't take write access if we are not writing PRs. Hopefully that helps!
Here are the steps we go through:
- Checkout the code to a temporary directory (which is deleted when it goes out of scope in python, so at the end of the indexing API call)
- Use Tree Sitter to create an index of just your chosen "Directory to Index" and then store that in a Redis cache
- We clear the index from the Redis cache if you haven't used it in 2 hours.
I don't know why exactly it says the message to "Act on your behalf". I just double-checked in our app, and confirmed that these are the only permissions we get:
- Contents - Read-only
- Metadata - Read-only
- Email addresses - Read-only
We agree that we shouldn't take write access if we are not writing PRs. Hopefully that helps!