Possible to rename a repository? #148
Answered
by
peterknees
JonathanEbner
asked this question in
Advanced IR: Exercise Q&A
-
|
I accidentally created a repository called "air-2024-test". I can't rename it to group-33, and I can't create a new one either. Can we just use the one called "air-2024-test" or can you rename it for us? |
Beta Was this translation helpful? Give feedback.
Answered by
peterknees
May 22, 2024
Replies: 1 comment
-
|
I changed the name of the repository to air-2024-group-33. It's not reflected on Classroom (yet?) so your colleagues might still have to join "test" in order to be in "group-33" (please check which is available or if anything was broken by renaming). |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
JonathanEbner
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I changed the name of the repository to air-2024-group-33. It's not reflected on Classroom (yet?) so your colleagues might still have to join "test" in order to be in "group-33" (please check which is available or if anything was broken by renaming).