Skip to content

Fix ping pattern#181

Merged
creesch merged 1 commit intomainfrom
fix-ping-pattern
Jan 25, 2026
Merged

Fix ping pattern#181
creesch merged 1 commit intomainfrom
fix-ping-pattern

Conversation

@danthedaniel
Copy link
Copy Markdown
Member

Before we only supported this format:
<user1> pinging user 2

Now we also support:
user1: pinging user 2

Before we only supported this format:
<user1> pinging user 2

Now we also support:
user1: pinging user 2
@creesch creesch merged commit f904a70 into main Jan 25, 2026
3 checks passed
@danthedaniel danthedaniel deleted the fix-ping-pattern branch January 25, 2026 20:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants