]> git.phdru.name Git - git-scripts.git/commit
Feat: Delete a repository
authorOleg Broytman <phd@phdru.name>
Sun, 24 Dec 2023 09:57:30 +0000 (12:57 +0300)
committerOleg Broytman <phd@phdru.name>
Fri, 29 Dec 2023 16:11:42 +0000 (19:11 +0300)
commitb3a97851e17d472c9bbb3e738647569c655cf6ea
tree932dd2ccc064ec4166c2831b0d714a618d7e7206
parentfe99855e1c76f5699a12eae8a5bab618a1e59e1e
Feat: Delete a repository

Mostly for deleting it from `locate-all.list`.
delete [new file with mode: 0755]