Fix branch rewrite script issue with deleted files

Mbed-TLS / mbedtls-docs

Version-independent documentation for Mbed TLS

Apache License 2.0

21 stars 28 forks source link

Fix branch rewrite script issue with deleted files #72

Closed davidhorstmann-arm closed 1 year ago

davidhorstmann-arm commented 1 year ago

Fix a problem with the branch rewrite script that prevented it working when the branch deletes files. Whenever there are deleted files, manually git rm them to resolve conflicts with git cherry-pick. Add a testcase for this eventuality.

Additionally, add 1 unrelated real-world testcase taken from Mbed-TLS/mbedtls#6882.

gilles-peskine-arm commented 1 year ago

Superseded by https://github.com/Mbed-TLS/mbedtls-docs/pull/74