Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deleted long deprecated and unused UserProperties #8679

Merged
merged 1 commit into from
Nov 7, 2023

Conversation

StefanSpieker
Copy link
Contributor

Deleted long deprecated and unused UserProperties - according to:

Testing done

All tests still pass and Jenkins works normally

Proposed changelog entries

  • Removed deprecated and unused class UserProperties

Proposed upgrade guidelines

N/A

Submitter checklist

Desired reviewers

@mention

Before the changes are marked as ready-for-merge:

Maintainer checklist

@NotMyFault NotMyFault added the removed This PR removes a feature or a public API label Nov 6, 2023
@NotMyFault NotMyFault requested a review from a team November 6, 2023 13:12
@NotMyFault NotMyFault added the ready-for-merge The PR is ready to go, and it will be merged soon if there is no negative feedback label Nov 6, 2023
@NotMyFault NotMyFault merged commit 293b86f into jenkinsci:master Nov 7, 2023
16 checks passed
@StefanSpieker StefanSpieker deleted the UserProperties branch November 7, 2023 20:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-merge The PR is ready to go, and it will be merged soon if there is no negative feedback removed This PR removes a feature or a public API
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants