https://github.com/invvk/patch-id-fix

This simple python script that allows you to quickly rename patch files 0000-X.patch in case the numbers are missed up.

git-patch patch patch-id python3 rename-files script

Last synced: 26 Feb 2025