Locally deployable campus server #321
Description
Campus server currently cannot be locally deployed for testing. Such a feature may be useful for students who have exhausted their Codespace usage quota or otherwise cannot make use of Codespaces or devcontainers.