From 400eb980e1b66a86e97461c95f26a007017e1f79 Mon Sep 17 00:00:00 2001
From: Joscha <brummer@migejolise.de>
Date: Fri, 27 Jul 2018 11:49:34 +0000
Subject: [PATCH] Change --mention flag to --ping

---
 infobot.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infobot.py b/infobot.py
index 3eb4610..827d27f 100644
--- a/infobot.py
+++ b/infobot.py
@@ -148,7 +148,7 @@ class InfoBot(yaboli.Bot):
 		flags, args, kwargs = self.parse_flags(self.parse_args(argstr))
 		sessions = room.listing.get() + [room.session]
 		sessions = sorted(set(s.nick for s in sessions if s.is_manager))
-		if "mention" in kwargs:
+		if "ping" in kwargs:
 			sessions = ["@" + mention(s) for s in sessions]
 		else:
 			sessions = [s for s in sessions]