Skip to content

chore: changes after org change#8

Merged
richardcase merged 1 commit intomainfrom
org_change
Jul 23, 2024
Merged

chore: changes after org change#8
richardcase merged 1 commit intomainfrom
org_change

Conversation

@richardcase
Copy link
Member

Various changes after changing the org name.

Signed-off-by: Richard Case <richard.case@outlook.com>
@richardcase richardcase merged commit 8077fc5 into main Jul 23, 2024
@richardcase richardcase deleted the org_change branch July 23, 2024 09:07
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.

1 participant