Skip to content

Comments

Electra minor refactorings#6839

Merged
mergify[bot] merged 4 commits intosigp:unstablefrom
pawanjay176:electra-nits
Jan 23, 2025
Merged

Electra minor refactorings#6839
mergify[bot] merged 4 commits intosigp:unstablefrom
pawanjay176:electra-nits

Conversation

@pawanjay176
Copy link
Member

Issue Addressed

N/A

Proposed Changes

Fix some typos and other minor refactorings in the electra code. Thanks @jtraglia for bringing them up.

Note to reviewiers: 4780349 is the commit that needs looking into in detail. The rest are very minor refactorings

@michaelsproul michaelsproul added ready-for-review The code is ready for review electra Required for the Electra/Prague fork labels Jan 22, 2025
Copy link
Member

@michaelsproul michaelsproul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thanks Pawan for implementing, and Justin for reviewing!

@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Jan 23, 2025
@michaelsproul
Copy link
Member

Testing the new Mergify integration. Let's see if this merges automatically

@michaelsproul
Copy link
Member

Ok.. so Mergify isn't picking this up.

@michaelsproul
Copy link
Member

@mergify refresh

@mergify
Copy link

mergify bot commented Jan 23, 2025

refresh

✅ Pull request refreshed

@michaelsproul
Copy link
Member

@mergify queue

@michaelsproul
Copy link
Member

We'll do it the old-fashioned way for now

@mergify
Copy link

mergify bot commented Jan 23, 2025

queue

✅ The pull request has been merged automatically

Details

The pull request has been merged automatically at 266b241

@mergify mergify bot merged commit 266b241 into sigp:unstable Jan 23, 2025
30 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

electra Required for the Electra/Prague fork ready-for-merge This PR is ready to merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants