tree 74ec1fe7013c16a11e3886424740a9b80411eee8
parent 9236cce91da9ced563cf87dcde423dfbe18a1f1e
author Josh Bleecher Snyder <josharian@gmail.com> 1749079575 -0700
committer Josh Bleecher Snyder <josharian@gmail.com> 1749079612 -0700

.github: don't notify Discord from dev queue (sigh)