Open jdno opened 4 months ago
The effects initiative has requested that we rename their repository.
🚨 This PR needs to be merged at the same time that we rename the repository on GitHub.
r? @Mark-Simulacrum
(though, this needs a rebase)
I've rebased the pull request. :+1:
The effects initiative has requested that we rename their repository.
🚨 This PR needs to be merged at the same time that we rename the repository on GitHub.