Remove the unused admin scripts#6750

kit-ty-kate wants to merge 1 commit intoocaml:masterocaml/opam:masterfrom

kit-ty-kate:rm-admin-scriptskit-ty-kate/opam:rm-admin-scriptsCopy head branch name to clipboard