diff --git a/01_local_repo.patch b/1_local_repo.patch
similarity index 100%
rename from 01_local_repo.patch
rename to 1_local_repo.patch