Definitely in favour of muting all staff messages.
As for the OP edits, I’m quite reluctant. My experience with GitHub is that they log too much. I feel like an idiot whenever I’ve chosen the wrong label, milestone or what-have-you for an issue, which GitHub will be all too happy to put on my “public record” as if it was important information pertaining to the discussion at hand.
That, in turn, means that in order to make such a feature less disruptive, you’d need to take into account a bunch of corner cases:
- No change-note should be created within the 5 minute edit grace period.
- In a series of changes of the same type, only the latest should show (e.g. I change category to feature, then to spec, then back to feature again. Wouldn’t want all of those logged; just the final change).
- For long logs, you’ll want to add truncated/untruncated options, like for inc/outg links.
- Where should OP edits be displayed? Always under the topic post, or spread chronologically throughout the topic like the other Staff messages? (the latter seems more correct and visible, but could quickly lead to noise)