The issue has been closed

While GHA commits are made by a bot, maybe they're "custom" enough that should be excluded from this feature.
posted by fregante almost 4 years ago
I would rather exclude any commit that has a tag associated with it
posted by yakov116 almost 4 years ago
That would be an alternative, but I personally haven't seen "useless" commits by GHA-bot in the wild so maybe my second comment still applies.
posted by fregante almost 4 years ago
"useless" commits by GHA-bot
Well… maybe my example does fit this description. Version commits aren't that useful.
I would rather exclude any commit that has a tag associated with it
This is sound, let's do this. If in the future we see more useful GHA commits, we can change it then.
posted by fregante almost 4 years ago