Add more events so the PR's labels are kept up-to-date.