-- Add designation column
ALTER TABLE users ADD COLUMN designation VARCHAR(20);
-- Rename nub_student_id to nub_id - This is not needed as we are only changing the frontend label.
-- ALTER TABLE users CHANGE nub_student_id nub_id VARCHAR(255);

ALTER TABLE users
ADD COLUMN is_available TINYINT(1) NOT NULL DEFAULT 1;
