From eae3a0753490e0b7d5e90d44345dac154d6deea1 Mon Sep 17 00:00:00 2001 From: Jose Luis Rivero Date: Mon, 2 Dec 2024 16:43:34 +0100 Subject: [PATCH] release.py can not work with github tokens Signed-off-by: Jose Luis Rivero --- release_instructions.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/release_instructions.md b/release_instructions.md index 711b392c5..268ab7809 100644 --- a/release_instructions.md +++ b/release_instructions.md @@ -39,9 +39,7 @@ To interact with Jenkins an API token needs to be created and stored in the user system: 1. Creating a Jenkins API token: opening https://build.osrfoundation.org/me/configure - the section of "API Token" shows the "Add new Token" button (alternatively a github - token could also be used but the Jenkins API helps to restrict the global scope - of the credential). + the section of "API Token" shows the "Add new Token" button 2. The token needs to be stored in `~/.buildfarm/jenkins.ini` in the form: ```