Time  Nick      Message
13:59 MTDiscord <Niklp> @Krock then merge #15 first, I'll rebase my pr then
13:59 ShadowBot https://github.com/minetest/minetest/issues/15 -- Minetest bucket by donaldr3
14:01 MTDiscord <Warr1024> ShadowBot should probably, by this point, just ignore things that look like issue numbers but have fewer than 4 digits.  In the rare case when it's NOT a mistake, the person mentioning it could just post the link if they really wanted to.
14:04 MTDiscord <Niklp> Do pings from dc to IRC work?
14:04 MTDiscord <GoodClover> yep, just say their name
14:04 MTDiscord <Niklp> nice
14:05 MTDiscord <GoodClover> works the other way round too, but IRC users don't see our nicknames, only usernames so those are used