You can remove a mirror release simply by deleting the directory tree. It does not matter how you created the mirror, just get rid of it. You do not need to notify anybody (except the developers that use your mirror!). Normally a simple rm command with the -fr options does the job. If you want to get rid of your entire mirror area, you can delete the whole structure in the same way. For example, you would use commands such as these:
$ rm -fr /home/me/dev/dist/1.3.8 Remove release 1.3.8 $ rm -fr /home/me/dev Remove entire mirror |