From ff92f6c43a174feb92c0afb8c2b9ef41765719df Mon Sep 17 00:00:00 2001 From: Suguru Hirahara Date: Mon, 9 Dec 2024 14:09:54 +0900 Subject: [PATCH] Edit docs/configuring-playbook-bot-draupnir.md: use another user ID than alice or bob Signed-off-by: Suguru Hirahara --- docs/configuring-playbook-bot-draupnir.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/configuring-playbook-bot-draupnir.md b/docs/configuring-playbook-bot-draupnir.md index 48b7e96f6..7bc2ead8c 100644 --- a/docs/configuring-playbook-bot-draupnir.md +++ b/docs/configuring-playbook-bot-draupnir.md @@ -170,7 +170,7 @@ The simplest and most useful entity to target is `user`. Below are a few example To create rules, you run commands in the Management Room (**not** in the policy list room). -- (ban a single user on a given homeserver): `!draupnir ban @alice:example.com my-bans Rude to others` +- (ban a single user on a given homeserver): `!draupnir ban @charles:example.com my-bans Rude to others` - (ban all users on a given homeserver by using a [wildcard](https://the-draupnir-project.github.io/draupnir-documentation/moderator/managing-users#wildcards)): `!draupnir ban @*:example.org my-bans Spam server - all users are fake` As a result of running these commands, you may observe: