Skip to content

Conversation

@NehPatel2000
Copy link
Contributor

No description provided.

@robobenklein
Copy link
Member

@utk-cs/myteam5 someone wanna review this?

I'm ready to rename things if ya'll are, I just want some reviews so I know you're all onboard / approve and are ready to change your local remote URLs.

@troy51538
Copy link
Contributor

troy51538 commented Oct 14, 2021 via email

@robobenklein
Copy link
Member

Nope, no need to re-clone at all.

Just set the origin URL to the new one (once I actually do the rename):

git remote set-url <name-of-origin> <new-url>

Make sure that everyone on the team is ready and understands how to do so before I rename it.

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

Successfully merging this pull request may close these issues.

4 participants