Discord Bot for Core Devs Discord server
p
discord-bot
public
20 stars
9 forks
4 issues
Commits
List of commits on branch main.Verified
f8c8cab1f495dbc5b500fd9ce54eba712f431223tldr: Summarize github discussion (#5)
ccorona10 committed a year ago
Verified
d69920e6ed7c4105ae0b216b67820df3cc0a29e4tldr: Implement a PEP summary bot prototype (#4)
ccorona10 committed a year ago
Verified
76d05fde2fa71692de2a77eb5d3f9712d289536ediscord-bot: Setting up initial project structure (#2)
ccorona10 committed 3 years ago
Verified
3a0818b37f7d85dbc255b4cd15ad08182484cadaInitial commit
MMariatta committed 3 years ago