Skip to content

fix: fix email and Github username formatting#342

Merged
mvadari merged 3 commits intoXRPLF:masterfrom
mvadari:fix-github-usernames
Sep 5, 2025
Merged

fix: fix email and Github username formatting#342
mvadari merged 3 commits intoXRPLF:masterfrom
mvadari:fix-github-usernames

Conversation

@mvadari
Copy link
Collaborator

@mvadari mvadari commented Sep 4, 2025

Title says it all. Also updated the validation script to check for the correct formatting.

@mvadari mvadari requested a review from Tapanito September 4, 2025 18:45
@mvadari mvadari force-pushed the fix-github-usernames branch from 660e05a to a624768 Compare September 4, 2025 18:51
@mvadari mvadari force-pushed the fix-github-usernames branch from a624768 to 61e26aa Compare September 5, 2025 15:40
@mvadari mvadari merged commit 389257d into XRPLF:master Sep 5, 2025
2 checks passed
@mvadari mvadari deleted the fix-github-usernames branch September 5, 2025 15:49
mvadari added a commit to mvadari/XRPL-Standards that referenced this pull request Sep 12, 2025
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