[workflow] Trigger format server when @taichi-gardener is requested for review

[archibate]

Related issue = #... (if any)

[Click here for the format server]

Demo: taichi-dev/test_actions#4

[archibate]

Hello? Feel free to say No if you don't like this...

[yuanming-hu]

Hello? Feel free to say No if you don't like this...

Sorry, I've got some work to do over the day, but I'll take a look at this later. Thanks for the PR!

[yuanming-hu]

My biggest worry about this is that, if a PR author adds a comment for formatting their code, all the reviewers will receive that comment as well. This creates too much noise in the reviewers' mailbox. As a result, they will start to ignore emails from GitHub regarding Taichi.

[archibate]

Then, how about:
Only hook on edited, not created.
So that we can edit the PR description to trigger /format.

[archibate]

I just come up with that, we can hook on review_requested event:
When @taichi-gardener was requested for review, the format server is triggered.

[yuanming-hu]

I just come up with that, we can hook on review_requested event:
When @taichi-gardener was requested for review, the format server is triggered.

This sounds great!!

[archibate]

OK now!
During @taichi-gardener is on the list of reviewers, all pushes to the PR will trigger a format.
When @taichi-gardener is requested for review, immediately trigger a format at once.

[yuanming-hu]

Thanks! LGTM! Just one minor place that needs discussions.

[yuanming-hu]

Maybe we should keep this here for a while, just in case some newcomers do not have access to reviewer assignment?

[archibate]

Oh, sorry, I almost forget that review requesting needs write-access...

[archibate]

We will make persubmit.yml to do the work at some point (after I found a way to write repo in gha).

[archibate]

Hello? I want to merge this for 'enjoyment' in other prs.

[yuanming-hu]

LGTM. Thank you! Let's see how it works :-)