Move user header to appearance user page when available - Githubissues

jenkinsci / customizable-header-plugin

Customizable header for Jenkins

https://plugins.jenkins.io/customizable-header/

MIT License

4 stars 2 forks source link

Move user header to appearance user page when available #119

Closed timja closed 3 months ago

timja commented 3 months ago

Depends on https://github.com/jenkinsci/jenkins/pull/7268 but can be released independently

Testing done

untested but copied from theme manager: https://github.com/jenkinsci/theme-manager-plugin/pull/265

Submitter checklist

[ ] Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
[ ] Ensure that the pull request title represents the desired changelog entry
[ ] Please describe what you did
[ ] Link to relevant issues in GitHub or Jira
[ ] Link to relevant pull requests, esp. upstream and downstream changes
[ ] Ensure you have provided tests - that demonstrates feature works or fixes the issue