Skip to content

Replace chatops with native discord bot#14

Merged
Taucher2003 merged 1 commit intomainfrom
replace-chatops-with-native-discord-bot
Jan 26, 2026
Merged

Replace chatops with native discord bot#14
Taucher2003 merged 1 commit intomainfrom
replace-chatops-with-native-discord-bot

Conversation

@Taucher2003
Copy link
Member

No description provided.

@Taucher2003 Taucher2003 self-assigned this Jan 26, 2026
@Taucher2003 Taucher2003 force-pushed the replace-chatops-with-native-discord-bot branch from 6edc668 to 311ce86 Compare January 26, 2026 17:42
@Taucher2003 Taucher2003 merged commit 4a3f4de into main Jan 26, 2026
2 checks passed
@Taucher2003 Taucher2003 deleted the replace-chatops-with-native-discord-bot branch January 26, 2026 17:48
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.

1 participant