Activity
Remove a mention of the Discord server
Remove a mention of the Discord server
Avoid reinitialize package-initialize
Avoid reinitialize package-initialize
Pull request merge
Fix exempt labels for the action/stale
Fix exempt labels for the action/stale
Replace the defunct stale bot with actions/stale
Replace the defunct stale bot with actions/stale
Turn off super-save in rust-mode
Turn off super-save in rust-mode
Pull request merge
Add the required readthedocs.yml
Add the required readthedocs.yml
Add details about Windows HOME
Add details about Windows HOME
Pull request merge
Use js2-mode for additional Node.js extensions.
Use js2-mode for additional Node.js extensions.
Pull request merge