Skip to content

chore: update github username#42

Merged
ptsouchlos merged 4 commits intodevelopfrom
chore/update-github-username
Jan 17, 2026
Merged

chore: update github username#42
ptsouchlos merged 4 commits intodevelopfrom
chore/update-github-username

Conversation

@ptsouchlos
Copy link
Owner

No description provided.

@ptsouchlos ptsouchlos merged commit 8e7e922 into develop Jan 17, 2026
22 checks passed
@ptsouchlos ptsouchlos deleted the chore/update-github-username branch January 17, 2026 23:26
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