search

zulip / zulipbot

GitHub workflow-optimizing bot by @zulip
Other
84 stars 65 forks source link

Restrict user from claiming a pull request. #231

Closed sayyedarib closed 9 months ago

sayyedarib commented 11 months ago

CZO thread

Before After
Screenshot from 2024-01-04 14-28-15 Screenshot from 2024-01-08 13-22-23
codecov[bot] commented 11 months ago

Codecov Report

Merging #231 (b7fcaa1) into main (9f45af4) will increase coverage by 0.21%. Report is 1 commits behind head on main. The diff coverage is 83.33%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #231 +/- ## ========================================== + Coverage 64.04% 64.25% +0.21% ========================================== Files 23 23 Lines 1741 1757 +16 ========================================== + Hits 1115 1129 +14 - Misses 626 628 +2 ```
sayyedarib commented 11 months ago

I've updated the texts per your suggestions. Please take another look and let me know if any other changes are needed.

alya commented 11 months ago

Thanks! @andersk are you the right person to review this PR?

alya commented 9 months ago

@timabbott are you up for reviewing?

andersk commented 9 months ago

The first commit will crash without the second, so it is not a coherent logical unit. The two commits need to be squashed together.

andersk commented 9 months ago

Thanks @sayyedarib, this is live now.