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

haskell-jp-bot の通知を受け取りたくない #205

Closed
Hexirp opened this issue Mar 18, 2021 · 9 comments
Closed

haskell-jp-bot の通知を受け取りたくない #205

Hexirp opened this issue Mar 18, 2021 · 9 comments

Comments

@Hexirp
Copy link
Contributor

Hexirp commented Mar 18, 2021

このリポジトリの問題なのか、それとも GitHub の使い方の問題なのか……どちらなのか分かりませんが、いちおうこちらに立てておきます。

haskell-jp を watch していますが、 haskell-jp-bot のビルド・プレビューの結果の URL のコメントがたくさん通知に現れています。その割合は、体感としては普通のコメントの 4 倍ぐらいです。うざったいなという感じです。

これをフィルターしたりすることは出来るでしょうか?

@igrep
Copy link
Member

igrep commented Mar 18, 2021

最近のGitHubだと、 👇 の設定画面でwatchする項目を選べるようになっているのでそこでコミットに対するコメントを除外できれば... と思いましたが、現状コミットへのコメントをoffにする機能はないみたいですね... 😞

image

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 18, 2021

うーん、とりあえず我慢するしかない感じですね。

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 18, 2021

たとえば、 https://app.circleci.com/pipelines/github/haskell-jp/blog/69/workflows/0daa7548-bef0-4235-b788-44468b702936/jobs/875/artifacts みたいなページから各自で見るという感じで行けませんか? いや、不親切になりすぎますね。(そういえば、 Circle CI のログってログインしないと見れないようになったんですね)

@igrep
Copy link
Member

igrep commented Mar 18, 2021

☝️ の設定項目のなかでコミットへのコメントがどれに分類されているのか不明瞭なので、もしかしたら例えば「Issues」「Pull requests」のみを選択するとコミットへのコメントが除外されないかな... と今推測しています。
つまり「コミットへのコメント」は4つの設定項目のうちどれでもなさそうなので、Watchの設定を「Custom」にしているうちはどれも該当しないのではないか、と。

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 18, 2021

そうしてみます。これで解決するか試すためには時間が掛かりそうですが。

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 18, 2021

他の人にコミットに対してコメントしてもらえばすぐに試せるかも?

@igrep
Copy link
Member

igrep commented Mar 18, 2021

試しに少し時間が経ってから(余裕を持って1日ぐらい待ってみましょうかね)、すでに送られているPull requestに含まれるコミットに私がコメントしてみます。それで @Hexirp さんに通知が来なければhaskell-jp-botのコメントも来ないはず。

追記: と、いうのも提案してから気づいたんですが、該当のコミットがPull requestに含まれている場合、「コミットへのコメント」がPull requestに含まれる可能性もあるな、と思ったので

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 18, 2021

了解です。

@Hexirp
Copy link
Contributor Author

Hexirp commented Mar 19, 2021

@igrep 通知がありませんでした。ありがとうございます!

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

No branches or pull requests

2 participants