What would you like to be added:
Add a tag that can restart github CI for PR.
Why is this needed:
Adding this tag helps developers with their development work.