Skip to content

chore: update BigLep username#10

Merged
BigLep merged 1 commit intomasterfrom
phi/update-name
Feb 9, 2026
Merged

chore: update BigLep username#10
BigLep merged 1 commit intomasterfrom
phi/update-name

Conversation

@rjan90
Copy link
Contributor

@rjan90 rjan90 commented Feb 9, 2026

Usernames on GH are case sensitive, so in the update on Slack this conversion did not properly propagated.

chore: update BigLep username
@rjan90 rjan90 requested a review from BigLep February 9, 2026 15:02
@rjan90 rjan90 self-assigned this Feb 9, 2026
@rjan90 rjan90 added this to FOC Feb 9, 2026
@github-project-automation github-project-automation bot moved this to 📌 Triage in FOC Feb 9, 2026
@rjan90 rjan90 moved this from 📌 Triage to 🔎 Awaiting review in FOC Feb 9, 2026
@rjan90 rjan90 added this to the M4.1: mainnet ready milestone Feb 9, 2026
@github-project-automation github-project-automation bot moved this from 🔎 Awaiting review to ✔️ Approved by reviewer in FOC Feb 9, 2026
@BigLep BigLep merged commit 0d2a230 into master Feb 9, 2026
@github-project-automation github-project-automation bot moved this from ✔️ Approved by reviewer to 🎉 Done in FOC Feb 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants