[14:28:15] [02sopel] 07RhinosF1 pushed 0321 commits to 03master [+0/-0/±45] 13https://git.io/JcRkJ [14:28:16] [02sopel] 07half-duplex 032f05a7d - pronouns: accept more styles of user input [14:28:18] [02sopel] 07dgw 03ea64af1 - coretasks: handle `BOT` ISUPPORT token & mode [14:28:19] [02sopel] 07xnaas 037b7f8ba - wikipedia: rename commands to free up `.w` Co-authored-by: dgw [14:28:21] [02sopel] ... and 18 more commits. [16:31:28] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/JcR6a [16:31:29] [02MirahezeBots] 07RhinosF1 03da738b9 - deps-dev: add mypy [16:31:31] [02MirahezeBots] 07RhinosF1 created branch 03RhinosF1-patch-1 - 13https://git.io/JJ3ea [16:32:19] [02MirahezeBots] 07RhinosF1 opened pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [16:32:53] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/JcR6x [16:32:55] [02MirahezeBots] 07RhinosF1 034a31a42 - Update workflow.yml [16:32:56] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [16:32:59] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/JcR6h [16:34:19] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/JcR6h [16:34:20] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/JcRin [16:34:22] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/JcRiC [16:34:24] [02MirahezeBots] 07RhinosF1 03fe0c717 - Update version.py [16:34:25] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [16:34:33] [02MirahezeBots] 07deepsource-autofix[bot] pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/JcRil [16:34:34] [02MirahezeBots] 07deepsource-autofix[bot] 035c2476b - Format code with autopep8 and isort [16:34:36] [02MirahezeBots] 07deepsource-autofix[bot] synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [16:35:47] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/JcRin [16:35:48] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/JcRiV [16:36:34] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/JcRiV [16:36:35] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/JcRiX [16:37:04] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/JcRi7 [16:37:06] [02MirahezeBots] 07RhinosF1 03407e153 - mypy: exclude build [16:37:07] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [16:38:33] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/JcRiX [16:38:34] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/JcRPC [16:44:08] Sario: deepsource annoying [19:23:45] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/Jc0t9 [19:23:47] [02MirahezeBots] 07RhinosF1 03608b442 - Update version.py [19:23:48] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [19:23:55] [02MirahezeBots] 07deepsource-autofix[bot] pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/Jc0t7 [19:23:57] [02MirahezeBots] 07deepsource-autofix[bot] 03ce1951f - Format code with autopep8 and isort [19:23:58] [02MirahezeBots] 07deepsource-autofix[bot] synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [19:24:30] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/Jc0tj [19:24:31] [02MirahezeBots] 07RhinosF1 036c400ea - Go away [19:24:33] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [19:24:55] [02MirahezeBots] 07RhinosF1 pushed 031 commit to 03RhinosF1-patch-1 [+0/-0/±1] 13https://git.io/Jc0qL [19:24:57] [02MirahezeBots] 07RhinosF1 03550db89 - Update version.py [19:24:58] [02MirahezeBots] 07RhinosF1 synchronize pull request 03#539: CI: add mypy - 13https://git.io/JcR6d [19:25:12] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/JcRPC [19:25:13] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/Jc0q3 [19:27:39] [02MirahezeBots] 07sonarcloud[bot] deleted a comment on pull request 03#539: CI: add mypy - 13https://git.io/Jc0q3 [19:27:41] [02MirahezeBots] 07sonarcloud[bot] commented on pull request 03#539: CI: add mypy - 13https://git.io/Jc0q9