Builtin Library
README.md
zeromind.inboxSettings
Read or set the kinds of notification your ZeroMind inbox leaves out: zeromind.inboxSettings(muted?).
With no argument it reads them; with muted, the whole list, it sets them. The kinds are the ones zeromind.inbox lists (comment, reply, rating, issue, issue_comment, pull_request, pull_request_activity) and following, the events of worlds you follow. A muted kind gets no entry from then on, so the engine posts no notice for it either; entries already written stay. An empty list mutes none.
tools.use("zeromind", "inboxSettings", { "rating" })