Skip to content

[Merged by Bors] - chore: restore set image notation#1000

Closed
kim-em wants to merge 6 commits intomasterfrom
restore_set_image_notation
Closed

[Merged by Bors] - chore: restore set image notation#1000
kim-em wants to merge 6 commits intomasterfrom
restore_set_image_notation

Conversation

@kim-em
Copy link
Copy Markdown
Contributor

@kim-em kim-em commented Dec 14, 2022

@kim-em kim-em added the blocked-by-other-PR This PR depends on another PR (this label is automatically managed by a bot) label Dec 14, 2022
@kim-em kim-em removed the blocked-by-other-PR This PR depends on another PR (this label is automatically managed by a bot) label Dec 14, 2022
@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Dec 14, 2022

This PR/issue depends on:

@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Dec 14, 2022

bors merge

@github-actions github-actions bot added the ready-to-merge This PR has been sent to bors. label Dec 14, 2022
bors bot pushed a commit that referenced this pull request Dec 14, 2022
- [x] depends on: #999 

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Dec 14, 2022

Canceled.

@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Dec 14, 2022

bors merge

bors bot pushed a commit that referenced this pull request Dec 14, 2022
- [x] depends on: #999 

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Dec 14, 2022

Build failed:

  • Build

@kim-em kim-em changed the title Restore set image notation chore: restore set image notation Dec 14, 2022
@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Dec 14, 2022

bors merge

bors bot pushed a commit that referenced this pull request Dec 14, 2022
- [x] depends on: #999 

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Dec 14, 2022

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title chore: restore set image notation [Merged by Bors] - chore: restore set image notation Dec 14, 2022
@bors bors bot closed this Dec 14, 2022
@bors bors bot deleted the restore_set_image_notation branch December 14, 2022 05:12
bors bot pushed a commit that referenced this pull request Dec 14, 2022
fc2ed6f838ce7c9b7c7171e58d78eaf7b438fb0e

- [x] depends on: #1000

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Co-authored-by: Patrick Massot <patrickmassot@free.fr>
Co-authored-by: ChrisHughes24 <chrishughes24@gmail.com>
Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.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.

1 participant