This document lines out the common terms used in the project.
Product-related
Course: We use "course" to mean "module", "class". A course here means an offering of a course in a particular semester/term. If the course is offered twice in two semesters (i.e. with different students and teaching team), they are considered two courses. There is, however, no time limit on how long a course may run.
Feedback Session: A collection of questions for students and/or instructors alike to answer; synonymous to a questionnaire, a survey.
Sometimes, this is referred to as simply "Session"; developers must take extra care so as not to confuse it with HTTP sessions.
Development-related
Main repo: The repository containing the latest stable code.
Ops repo: The repository containing maintenance and operations-specific information.
Specs: System Specification.
Servers
Dev server: The development server running on your computer.
CI server: Continuous Integration server used for building/testing patches. We use GitHub Actions.
Production server: A server on Google App Engine. Can be a staging server or the live server.
Staging server: The server instance you created on Google App Engine for testing purpose.