This file is indexed.

/usr/share/crawl/docs/develop/IRC.txt is in crawl-common 2:0.19.3-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
Developers on IRC
=================

Some of the Crawl developers hang out on the ##crawl-dev IRC channel on
freenode (irc://freenode/##crawl-dev). You can ask them development related
questions. Also, users with +v have commit access, so if you have a patch
which is ready to commit you can poke them about it.

Chatzilla and Crawl's bug tracking system
=========================================

If you're using Chatzilla as your IRC client, you can make Chatzilla
automatically link references to "bug NNN" or "bug #NNN" to Crawl
bug tracker. Simply open preferences, chose the ##craw-dev view,
select the appearances tab, and set "Bugzilla URL" to

    http://crawl.develz.org/mantis/view.php?id=%s

(Note that even though the option is called "Bugzilla URL", Crawl doesn't use
Bugzilla for bug/issue tracking, but Mantis)