const DO_NOT_PUSH_TO_THESE_DESTINATIONS = String[
    "MirrorUpdater",
    "MirrorUpdater.jl",
    "UnofficialJuliaMirrorSnapshots/MirrorUpdater",
    "UnofficialJuliaMirrorSnapshots/MirrorUpdater.jl",
    "UnofficialJuliaMirrorBot/MirrorUpdater",
    "UnofficialJuliaMirrorBot/MirrorUpdater.jl",
    #
    "Snapshots",
    "Snapshots.jl",
    "UnofficialJuliaMirrorSnapshots/Snapshots",
    "UnofficialJuliaMirrorSnapshots/Snapshots.jl",
    "UnofficialJuliaMirrorBot/Snapshots",
    "UnofficialJuliaMirrorBot/Snapshots.jl",
    ]
