Skip to content

Conversation

saidelike
Copy link
Collaborator

Checklist

@saidelike saidelike requested a review from pokey as a code owner September 7, 2023 16:06
@saidelike
Copy link
Collaborator Author

done again due to messing up in #1857

@auscompgeek auscompgeek added the documentation Improvements or additions to documentation label Sep 9, 2023
Copy link
Member

@pokey pokey left a comment

Choose a reason for hiding this comment

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

Looks good with minor comment!

@pokey pokey added the 30 mins PRs that are very close and just need a couple quick tweaks to merge; maintainer may take it label Jun 20, 2024
@AndreasArvidsson AndreasArvidsson requested a review from a team as a code owner January 14, 2025 14:42
@AndreasArvidsson AndreasArvidsson added this pull request to the merge queue Jan 14, 2025
Merged via the queue into cursorless-dev:main with commit c188621 Jan 14, 2025
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

30 mins PRs that are very close and just need a couple quick tweaks to merge; maintainer may take it documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants