MIT Kerberos developers use several venues for instant message chat.
The main IRC channel for MIT Kerberos development is
#krbdev on Libera Chat. There is a separate channel,
#kerberos, for general Kerberos discussion and support.
For more information about Libera Chat, see https://libera.chat/.
#krbdev channel is logged at http://colabti.org/irclogger/irclogger_logs/krbdev using the colabti.org service, which generously offers IRC logging to Free / Open Source projects.
#krbdev channel was previously logged by lopbot, courtesy of Brandon Allbery. These logs are no longer readily available online. Despite the possible existence of logging, please summarize important conversations to more permanent places, such as an appropriate mailing list or wiki page.