Closed kofalt closed 8 years ago
Propose that this repository be named gears to reflect its different contents.
gears
My understanding is that Github should redirect users from the old URL, but maybe send a follow-up email to my team@ after rename just in case.
team@
Done.
gsfr
commented
8 years ago gsfr
commented
8 years ago
Propose that this repository be named
gearsto reflect its different contents.My understanding is that Github should redirect users from the old URL, but maybe send a follow-up email to my
team@after rename just in case.