Today, as part of an operating system upgrade of server bushel, a network configuration
mismatch left the server offline between approximately 12:30 and 13:01.
This affected JupyterHub as well as the other file shares running on bushel. The
configuration has been corrected and the services are back online.