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

[chore] Delete the all-in-one branch #1372

Closed
gaocegege opened this issue Aug 17, 2021 · 2 comments
Closed

[chore] Delete the all-in-one branch #1372

gaocegege opened this issue Aug 17, 2021 · 2 comments
Assignees

Comments

@gaocegege
Copy link
Member

@Jeffwan @zw0610

The branch is merged into master, can we delete it?

@Jeffwan
Copy link
Member

Jeffwan commented Aug 17, 2021

@gaocegege Yes. We can. I left that one for post-submit job testing and forget to delete it.

@Jeffwan Jeffwan self-assigned this Aug 17, 2021
@Jeffwan
Copy link
Member

Jeffwan commented Aug 17, 2021

it's been deleted.

@Jeffwan Jeffwan closed this as completed Aug 17, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants