Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Nov 18, 2020

Gotta pump those github profile green squares!

@ghost ghost requested a review from paulhauner November 18, 2020 06:25
Copy link
Member

@paulhauner paulhauner left a comment

Choose a reason for hiding this comment

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

Great!

bors r+

@paulhauner paulhauner added the ready-for-merge This PR is ready to merge. label Nov 18, 2020
bors bot pushed a commit that referenced this pull request Nov 18, 2020
Gotta pump those github profile green squares!
@bors
Copy link

bors bot commented Nov 18, 2020

@bors bors bot changed the title Add lighthouse bootnodes [Merged by Bors] - Add lighthouse bootnodes Nov 18, 2020
@bors bors bot closed this Nov 18, 2020
@ghost ghost deleted the pyrmont-enr branch November 19, 2020 02:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-for-merge This PR is ready to merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant