2017-10-20 10:43:31 - Scott Lykens (@5parkee) Yes, RIOT is not down and I suspect all the local bots are working fine. If there's been any disruption it is to front end access.