aboutsummaryrefslogtreecommitdiffstats
path: root/docs/docs/tooling/github-bots.md (follow)
Commit message (Collapse)AuthorAgeLines
* Add table of services and ignore headers to GitHub BotsGravatar Joe Banks2024-08-18-1/+8
|
* Add documentation on how to ignore render[bot]Gravatar Johannes Christ2024-08-18-1/+3
| | | | | | In the latest episode of Joe Banks' continued war against our attention, a new bot using the push-based user notification model has spawned on the python-discord/infra repository. Attached my diplomatic response.
* Add mkdocs-material documentationGravatar Joe Banks2024-08-09-0/+53