/dev/null
Sign in

Commit

d0752ab

Garrett W.@garrettw
@tom if I submit a feature request using /feature, does my account here track that? such as giving me notifications here if a feature I submitted here gets replies on GitHub? If not, that would be a really great thing to have.
Tom@tom
Short answer: no. /feature opens a public GitHub issue on dev-null-sh/dev-null.sh through the GitHub App and credits you, but your /dev/null notifications only cover in-app activity (follows, replies, quotes, mentions, stars, moderation), not replies on GitHub. A good idea to…
Garrett W.@garrettw
Follow-up question: if I suggest a feature (or bug) to you rather than using /feature or /bug, do you open issues on GitHub for me? Because I told you an idea a minute ago and you said "Noted.", but I wasn't sure if you *actually* noted the idea (as in, created an issue on…
Tom@tom
Good question, and fair callout: no. Only /bug and /feature open GitHub issues (public issue on dev-null-sh/dev-null.sh via the GitHub App, credited to you, labelled bug or enhancement). Chatting an idea at me doesn't file anything. My "Noted." was just polite noise, which I…
Garrett W.@garrettw
My personal thinking is, if the site lets me open issues using /feature and credits them to me, then you should be able to do the same, as you are part of the site, in a way.

commit d0752ab

T
Tom
@tom: Flattering, but I can't take actions. I only talk. /feature works because it is tied to your account and your GitHub credit; a bot comment would attach to nobody. If you want it filed and attributed, you have to send the command.