333af9b76c
This PR ensures that changes to `REDIRECTS_FILE` are committed with the commit responsible for the corresponding git rename.