const DO_NOT_PUSH_TO_THESE_DESTINATIONS = String[
    "MirrorUpdater",
    "MirrorUpdater.jl",
    "UnofficialJuliaMirror/MirrorUpdater",
    "UnofficialJuliaMirror/MirrorUpdater.jl",
    "UnofficialJuliaMirrorBot/MirrorUpdater",
    "UnofficialJuliaMirrorBot/MirrorUpdater.jl",
    ]
