Skip to content

chore: rename to lazycogs#2

Merged
hrodmn merged 4 commits into
mainfrom
chore/rename
Apr 16, 2026
Merged

chore: rename to lazycogs#2
hrodmn merged 4 commits into
mainfrom
chore/rename

Conversation

@hrodmn
Copy link
Copy Markdown
Collaborator

@hrodmn hrodmn commented Apr 16, 2026

No description provided.

@hrodmn hrodmn merged commit 9cbb5ce into main Apr 16, 2026
1 check passed
@hrodmn hrodmn deleted the chore/rename branch April 16, 2026 15:59
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