Skip to content

Conversation

nikgraf
Copy link
Collaborator

@nikgraf nikgraf commented Jan 22, 2025

solves #80

Background: Initially wanted to name it just Keys, but then realized we have other keys as well and probably easier for everyone if we are explicit about them

@nikgraf nikgraf self-assigned this Jan 22, 2025
@nikgraf nikgraf force-pushed the ng/naming-improvements branch from f7b444b to 4027cc7 Compare January 22, 2025 07:24
@nikgraf nikgraf force-pushed the ng/naming-improvements branch from 4027cc7 to 5fba7ab Compare January 22, 2025 07:26
@nikgraf nikgraf merged commit 34af6d1 into main Jan 22, 2025
3 checks passed
@nikgraf nikgraf deleted the ng/naming-improvements branch January 22, 2025 15:41
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.

2 participants