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

Remove exps in remote git repo. #2744

Merged
merged 7 commits into from
Oct 20, 2021

Conversation

karajan1001
Copy link
Contributor

@karajan1001 karajan1001 commented Aug 23, 2021

@jorgeorpinel

This comment has been minimized.

@karajan1001

This comment has been minimized.

@jorgeorpinel
Copy link
Contributor

Sounds good @karajan1001. Please remind me when this one should be reviewed and I'll take it over.

For now please merge master.

@jorgeorpinel jorgeorpinel added the ⌛ status: wait-core-merge Waiting for related product PR merge/release label Sep 2, 2021
@jorgeorpinel
Copy link
Contributor

@karajan1001 seems to me this is ready to be finalized. Please merge master and/or remake the PR from an upstream branch so I can take it over. Thanks

@jorgeorpinel jorgeorpinel merged commit 850297a into iterative:master Oct 20, 2021
@karajan1001 karajan1001 deleted the remove_remote_exps branch October 21, 2021 01:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
⌛ status: wait-core-merge Waiting for related product PR merge/release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants