Commits on Jul 26, 2023

1. Add a new users_on_vacation config which prevents PR assignment …

   People keep assigning me to PRs (usually new contributors who haven't
   seen my Zulip message). I very much do not want this. Prevent it in
   triagebot.
   
   - If `r? jyn514` is posted after a comment after the PR is opened, post a
     useful error but otherwise do nothing
   - If `r? jyn514` is posted in the PR body, fall back to assigning from
     the diff (as if `r?` wasn't present)
   - If `r? bootstrap` is posted anywhere, filter me out from the team. I
     am not actually on the review rotation currently, but this would be
     useful if I were (and maybe other people will find it useful?).

   

   jyn514 committed Jul 26, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for c26e5a1
   • Browse repository at this point

   Copy the full SHA

   c26e5a1 View commit details

   Browse the repository at this point in the history