Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Merged by Bors] - feat: Update ASCII art #3113

Closed

Conversation

lucas-manuel
Copy link

@lucas-manuel lucas-manuel commented Mar 23, 2022

Issue Addressed

No issue, just updating merge ASCII art.

Proposed Changes

Updating ASCII art for merge.

Additional Info

Please provide any additional information. For example, future considerations
or information useful for reviewers.

@CLAassistant
Copy link

CLAassistant commented Mar 23, 2022

CLA assistant check
All committers have signed the CLA.

@realbigsean realbigsean requested a review from ethDreamer March 23, 2022 14:50
@paulhauner
Copy link
Member

Looks good to me! Double-checking with our Head of ASCII @ethDreamer. Will merge after his approval.

@ethDreamer
Copy link
Member

Looks good to me! Double-checking with our Head of ASCII @ethDreamer. Will merge after his approval.

LGTM! Make sure you put that as my title if we ever get business cards 🤣

@michaelsproul michaelsproul added the ready-for-merge This PR is ready to merge. label Mar 24, 2022
@michaelsproul
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Mar 24, 2022
## Issue Addressed

No issue, just updating merge ASCII art.

## Proposed Changes

Updating ASCII art for merge.

## Additional Info

Please provide any additional information. For example, future considerations
or information useful for reviewers.
@bors bors bot changed the title feat: Update ASCII art [Merged by Bors] - feat: Update ASCII art Mar 24, 2022
@bors bors bot closed this Mar 24, 2022
paulhauner pushed a commit to paulhauner/lighthouse that referenced this pull request May 6, 2022
## Issue Addressed

No issue, just updating merge ASCII art.

## Proposed Changes

Updating ASCII art for merge.

## Additional Info

Please provide any additional information. For example, future considerations
or information useful for reviewers.
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.

5 participants