Hi, I deleted a user by mistake in the Assign Roles list, and now I can't get him back! This is the Dashboard → "Manage and Assign Roles" page.
... - Clicking on the red [x] boxes again on both sides does not help. - Reloading the page does not help. - Unchecking the blue admin and developer check-boxes, and saving the changes, makes the entry disappear from the list... But if I recreate the user, it immediately appears as deleted. So how can I get this user back? Jean-François -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/307418612.15090586.1638287514933.JavaMail.zimbra%40free.fr.
