### Problem or use case Is it already possible to rename a github repository without breaking the link to past and future entire logs ? ### Desired behavior ```shell ``` ### Proposed solution _No response_ ### Alternatives or workarounds _No response_
Problem or use case
Is it already possible to rename a github repository without breaking the link to past and future entire logs ?
Desired behavior
Proposed solution
No response
Alternatives or workarounds
No response