Skip to content

chore: updates after repo move#2

Merged
richardcase merged 1 commit intomainfrom
repo_move
May 11, 2022
Merged

chore: updates after repo move#2
richardcase merged 1 commit intomainfrom
repo_move

Conversation

@richardcase
Copy link
Member

Signed-off-by: Richard Case richard@weave.works

Signed-off-by: Richard Case <richard@weave.works>
@richardcase richardcase merged commit b309730 into main May 11, 2022
@richardcase richardcase deleted the repo_move branch May 11, 2022 11:17
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