-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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
[migration-tools] Pull all branches prior to changing remote #36597
base: master
Are you sure you want to change the base?
Conversation
Another possibility here is to implement the full mirror clone and push that I have been doing for pre-emptive ros2-gbp repo creation. I think the net effect would be the same but it might be easier to audit. Because of the way git's data model and work trees interact we cannot use |
@cottsay should we use the last of our shift on Monday to either polish this off and merge it or close it out? |
This PR hasn't been activity in 14 days. If you are still are interested in getting it merged please provide an update. Otherwise it will likely be closed by a rosdistro maintainer following our contributing policy. It's been labeled "stale" for visibility to the maintainers. If this label isn't appropriate, you can ask a maintainer to remove the label and add the 'persistent' label. |
This PR hasn't been activity in 14 days. If you are still are interested in getting it merged please provide an update. Otherwise it will likely be closed by a rosdistro maintainer following our contributing policy. It's been labeled "stale" for visibility to the maintainers. If this label isn't appropriate, you can ask a maintainer to remove the label and add the 'persistent' label. |
@cottsay and @nuclearsandwich any updates on this one? |
@cottsay and @nuclearsandwich any updates on this one? |
There are two reasons this is probably the right thing to do:
Marking as draft until I can test that this doesn't regress migration to a different distro.
Fixes #32128