Skip to content

[Merged by Bors] - feat: add an align_import command#5966

Closed
eric-wieser wants to merge 8 commits intomasterfrom
eric-wieser/align-import
Closed

[Merged by Bors] - feat: add an align_import command#5966
eric-wieser wants to merge 8 commits intomasterfrom
eric-wieser/align-import

Conversation

@eric-wieser
Copy link
Copy Markdown
Member

@eric-wieser eric-wieser commented Jul 17, 2023

For now this uses the new command in just one file. If this looks good, I'll make a follow-up to apply this change everywhere.


Open in Gitpod

@eric-wieser eric-wieser added the WIP Work in progress label Jul 17, 2023
@eric-wieser eric-wieser added awaiting-review awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. and removed WIP Work in progress labels Jul 17, 2023
@eric-wieser eric-wieser requested a review from digama0 July 17, 2023 14:26
@github-actions github-actions bot removed the awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. label Jul 17, 2023
@kim-em
Copy link
Copy Markdown
Contributor

kim-em commented Jul 18, 2023

LGTM.

bors merge

@github-actions github-actions bot added ready-to-merge This PR has been sent to bors. and removed awaiting-review labels Jul 18, 2023
bors bot pushed a commit that referenced this pull request Jul 18, 2023
For now this uses the new command in just one file. If this looks good, I'll make a follow-up to apply this change everywhere.
@bors
Copy link
Copy Markdown

bors bot commented Jul 18, 2023

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title feat: add an align_import command [Merged by Bors] - feat: add an align_import command Jul 18, 2023
@bors bors bot closed this Jul 18, 2023
@bors bors bot deleted the eric-wieser/align-import branch July 18, 2023 10:17
bors bot pushed a commit that referenced this pull request Jul 19, 2023
- [x] depends on: #5966

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)


Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
kim-em pushed a commit that referenced this pull request Aug 14, 2023
For now this uses the new command in just one file. If this looks good, I'll make a follow-up to apply this change everywhere.
kim-em added a commit that referenced this pull request Aug 14, 2023
- [x] depends on: #5966

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)


Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
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.

2 participants