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

feat(project.put): Add note argument #1101

Merged
merged 1 commit into from
Jan 14, 2025
Merged

Conversation

augustebaum
Copy link
Contributor

@augustebaum augustebaum commented Jan 14, 2025

Implementation notes:

At first I used set_note directly, to delegate the type-checking process, but that meant touching the storage 2 times instead of 1.

Addresses part of #1041

@augustebaum augustebaum force-pushed the add-note-argument-in-put branch from 460495b to 59991c9 Compare January 14, 2025 11:33
Base automatically changed from note-commands-backend to main January 14, 2025 11:41
@augustebaum augustebaum force-pushed the add-note-argument-in-put branch from 59991c9 to b2d4baf Compare January 14, 2025 11:42
Implementation notes:

At first I used `set_note` directly, to delegate the type-checking process, but that meant touching the storage 2 times instead of 1.
@augustebaum augustebaum force-pushed the add-note-argument-in-put branch from b2d4baf to 1df42b1 Compare January 14, 2025 11:43
@thomass-dev thomass-dev merged commit 46649ce into main Jan 14, 2025
14 of 18 checks passed
@thomass-dev thomass-dev deleted the add-note-argument-in-put branch January 14, 2025 11:46
@rouk1 rouk1 mentioned this pull request Jan 15, 2025
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants