Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Remove left over from removed migration #4170

Closed
wants to merge 1 commit into from
Closed

Remove left over from removed migration #4170

wants to merge 1 commit into from

Conversation

gui1117
Copy link
Contributor

@gui1117 gui1117 commented Oct 28, 2021

From Koushiro #3949 (comment)

a miss in #4107

@github-actions github-actions bot added the A0-please_review Pull request needs code review. label Oct 28, 2021
@gui1117 gui1117 added A2-insubstantial Pull request requires no code review (e.g., a sub-repository hash update). B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit. labels Oct 28, 2021
@gui1117 gui1117 changed the title Remove unused Remove left over from removed migration Oct 28, 2021
@gui1117 gui1117 mentioned this pull request Oct 28, 2021
Merged
@gui1117
Copy link
Contributor Author

gui1117 commented Oct 28, 2021

closed in favor of #4171

@gui1117 gui1117 closed this Oct 28, 2021
@gui1117 gui1117 deleted the gui-remove-outdated branch October 28, 2021 14:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
A0-please_review Pull request needs code review. A2-insubstantial Pull request requires no code review (e.g., a sub-repository hash update). B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@gui1117