All active servers (survival, creative, minigames) have now been updated to 1.13.2 — have fun!
The minigames server is back up, and can be reached (as always) at minigames.twoprops.net — thanks for your patience. The new server is about ten times faster and lightly loaded (right now) so performance should be excellent.
miner.sacdoc.org, the server that currently hosts the minigames world, is down and out. When I opened it up, I found a bracket I had fashioned from a wire coat hanger to fix a broken CPU heat sink in the days before you could rapidly get replacement parts shipped overnight online. The server was old then, and that had to be ten years or more ago.
(The box was named “miner” not after Minecraft, but because I used it to mine bitcoin with a graphics card back when that was a viable option.)
I’ll resurrect the server data onto a new, more modern box. minigames isn’t much used, but it’s historically of interest to me as are a number of other worlds that are on the box but not currently live.