raiden00pl commented on PR #21044: URL: https://github.com/apache/nuttx/pull/21044#issuecomment-6493448110
@PetervdPerk-NXP Git doesn't record moves: `git mv` is just a delete plus an add, and renames are guessed when you look at history, by content similarity. No file is similar enough to its successor to be seen as a rename. I can split this commit into smaller commits, but git history can't be fully preserved anyway. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
