Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

areaLabel: Edit issue instead of posting comment. #181

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Gittenburg
Copy link

@Gittenburg Gittenburg commented Jul 23, 2020

GitHub sends all subscribed users a notification for new comments.
So spamming subscribers with bot comments is annoying.

Fixes #180.

Warning: I didn't test this, so it might not work.

CZO discussion

@Gittenburg Gittenburg marked this pull request as ready for review July 23, 2020 19:32
GitHub sends all subscribed users a notification for new comments.
So spamming subscribers with bot comments is annoying.

Fixes zulip#180.
@codecov
Copy link

codecov bot commented Jul 23, 2020

Codecov Report

❗ No coverage uploaded for pull request base (master@39b257e). Click here to learn what that means.
The diff coverage is n/a.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Get rid of "Hello @____ members" issue comments
2 participants