Skip to content

Conversation

@JohT
Copy link
Owner

@JohT JohT commented Oct 12, 2024

🛠 Fix

📖 Documentation

@JohT JohT self-assigned this Oct 13, 2024
@JohT JohT marked this pull request as ready for review October 13, 2024 15:51
@JohT JohT force-pushed the fix/support-profile-names-with-dashes branch from 9422076 to 40516dd Compare October 13, 2024 15:55
@JohT JohT force-pushed the fix/support-profile-names-with-dashes branch from 40516dd to 9a93da2 Compare October 14, 2024 11:03
@JohT JohT merged commit 55dd342 into main Oct 15, 2024
6 checks passed
@JohT JohT deleted the fix/support-profile-names-with-dashes branch October 15, 2024 05:33
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