<!here> office hours is starting in 30 minutes! Re...
# office-hours
e
<!here> office hours is starting in 30 minutes! Remember to post your questions here.