changed name of file

[NehPatel2000]

No description provided.

[robobenklein]

@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]

Just making sure, we have to clone again right?

…

On Thu, Oct 14, 2021 at 6:30 PM Ben Klein ***@***.***> wrote: @utk-cs/myteam5 <https://github.com/orgs/utk-cs/teams/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. — You are receiving this because your review was requested. Reply to this email directly, view it on GitHub <#179 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AVQZTAWFFRNAIFXTKK6LCBDUG5KWVANCNFSM5FSKDLVA> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.

[robobenklein]

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.