https://docs.github.com/en/github/managing-files-in-a-repository/managing-files-on-github/renaming-a-file | 10:07:58 November 25, 2023

Got an HTTP 301 response at crawl time

Redirecting to...

/en/repositories/working-with-files/managing-files/renaming-a-file