Allow to run git-repo-change-checker command under old script name

Old habits die hard …
This commit is contained in:
Daniel Borchmann 2025-02-22 10:24:24 +01:00
parent 31e448d838
commit 4ddb17f204
No known key found for this signature in database
GPG Key ID: 784AA8DF0CCDF625

View File

@ -682,6 +682,8 @@ quite sure whether something like this exists already?"
(insert "\n"))))
(switch-to-buffer (current-buffer))))
(defalias 'check-git-repos #'db/list-changed-git-repositories) ; old name of former shell script
;;; Base45 Decoding