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

minor contributing docs #1866

Merged
merged 6 commits into from
Jan 14, 2025

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!

docs/contributing/CONTRIBUTING.md Outdated Show resolved Hide resolved
@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