Skip to content

[Merged by Bors] - chore: the style linter shouldn't complain about long #align lines#1643

Closed
jcommelin wants to merge 2 commits intomasterfrom
jcommelin-patch-2
Closed

[Merged by Bors] - chore: the style linter shouldn't complain about long #align lines#1643
jcommelin wants to merge 2 commits intomasterfrom
jcommelin-patch-2

Conversation

@jcommelin
Copy link
Copy Markdown
Member


Open in Gitpod

@digama0
Copy link
Copy Markdown
Member

digama0 commented Jan 18, 2023

maybe you could make all the existing #aligns one-line?

@jcommelin
Copy link
Copy Markdown
Member Author

Done

@ChrisHughes24
Copy link
Copy Markdown
Member

bors r+

@github-actions github-actions bot added the ready-to-merge This PR has been sent to bors. label Jan 18, 2023
@bors
Copy link
Copy Markdown

bors bot commented Jan 18, 2023

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title chore: the style linter shouldn't complain about long #align lines [Merged by Bors] - chore: the style linter shouldn't complain about long #align lines Jan 18, 2023
@bors bors bot closed this Jan 18, 2023
@bors bors bot deleted the jcommelin-patch-2 branch January 18, 2023 18:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge This PR has been sent to bors.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants