A kindly reminder to please use the reservation system to provide an overview of which systems are being worked on.

There are three commands (please use the -h option to get online help):

make_reservation.py      To make a reservation

modify_reservation.py    To change the time of an existing reservation or delete it

display_reservation.py   To turn your terminal into a updating display of existing reservations (no arguments accepted)