Skip to content

Add cheatsheet developer docs #1718

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

Merged
merged 3 commits into from
Jul 18, 2024
Merged

Conversation

pokey
Copy link
Member

@pokey pokey commented Aug 2, 2023

Checklist

  • [-] I have added tests
  • [-] I have updated the docs and cheatsheet
  • [-] I have not broken the cheatsheet

@pokey
Copy link
Member Author

pokey commented Aug 2, 2023

@AndreasArvidsson once #1637 is merged, we should make it so that "cursorless update cheatsheet" uses the default spoken forms. Or if it's trivial, maybe worth just doing that in that PR 🤷‍♂️

@auscompgeek auscompgeek added the documentation Improvements or additions to documentation label Sep 9, 2023
@pokey pokey mentioned this pull request Jul 18, 2024
14 tasks
@pokey pokey requested a review from AndreasArvidsson July 18, 2024 16:59
@pokey
Copy link
Member Author

pokey commented Jul 18, 2024

This one is good to go I think

@AndreasArvidsson AndreasArvidsson added this pull request to the merge queue Jul 18, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 18, 2024
@pokey pokey added this pull request to the merge queue Jul 18, 2024
Merged via the queue into main with commit ba6cb54 Jul 18, 2024
15 checks passed
@pokey pokey deleted the pokey/add-cheatsheet-developer-docs branch July 18, 2024 21:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants