Using the lsst-dev Server

Attention

The lsst-dev servers were turned off on Oct 1, 2020.

Developers should instead use lsst-login and/or lsst-devl nodes.