From d460e13229f035b4f8f74450b3b6ee34d6833b22 Mon Sep 17 00:00:00 2001 From: David Spickett Date: Fri, 13 Sep 2024 14:47:05 +0100 Subject: [PATCH] [llvm][docs] Document how to get admin permissions for a worker I spent a long time trying different combinations of primary and verified emails, until a colleague tried it who happened to have a public profile email set when I did not. Document how this works to save everyone else the legwork. --- llvm/docs/HowToAddABuilder.rst | 31 ++++++++++++++++++++++++++++++- 1 file changed, 30 insertions(+), 1 deletion(-) diff --git a/llvm/docs/HowToAddABuilder.rst b/llvm/docs/HowToAddABuilder.rst index 133375370cd04..f07640f6627cf 100644 --- a/llvm/docs/HowToAddABuilder.rst +++ b/llvm/docs/HowToAddABuilder.rst @@ -276,4 +276,33 @@ Leave it on the staging buildmaster impacting the broader community. The sponsoring organization simply has to take on the responsibility of all bisection and triage. - +Managing a Worker From The Web Interface +======================================== + +Tasks such as clearing pending building requests can be done using +the Buildbot web interface. To do this you must be recognised as an admin +of the worker: + +* Set your public GitHub profile email to one that was included in the + ``admin`` information you set up on the worker. It does not matter if this + is your primary account email or a "verified email". To confirm this has been + done correctly, go to ``github.com/`` and you should + see the email address listed there. + + A worker can have many admins, if they are listed in the form + ``First Last , First2 Last2 ``. + You only need to have one of those addresses in your profile to be recognised + as an admin. + + If you need to add an email address, you can edit the ``admin`` file and + restart the worker. You should see the new admin details in the web interface + shortly afterwards. + +* Connect GitHub to Buildbot by clicking on the "Anonymous" button on the + top right of the page, then "Login with GitHub" and authorise the app. + +Some tasks don't give immediate feedback, so if nothing happens within a short +time, try again with the browser's web console open. Sometimes you will see +403 errors and other messages that might indicate you don't have the correct +details set up. +