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.

Sign up for GitHub

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

Jump to bottom

Allow to disable certain default providers #4342

Merged
merged 3 commits into from
Dec 18, 2019
Merged

Allow to disable certain default providers #4342

merged 3 commits into from
Dec 18, 2019

Conversation

jansupol
Copy link
Contributor

Signed-off-by: Jan Supol jan.supol@oracle.com

@jansupol
Allow to disable certain default providers
a825302 
Signed-off-by: Jan Supol <jan.supol@oracle.com>
@jansupol
Copy link
Contributor Author

Fixes #4293 and #4245

@jansupol
Use list of enabled proviedrs instead of disabled ones
e53eef9 
Signed-off-by: Jan Supol <jan.supol@oracle.com>
@jansupol
Update javadoc of CommonProperties.ALLOW_SYSTEM_PROPERTIES_PROVIDER
f1285fb 
Signed-off-by: Jan Supol <jan.supol@oracle.com>
tomas-langer
tomas-langer approved these changes Dec 18, 2019
View reviewed changes
Copy link
Contributor

@tomas-langer tomas-langer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jansupol jansupol merged commit af5d00a into eclipse-ee4j:master Dec 18, 2019
@senivam senivam added this to the 2.30 milestone Jan 13, 2020
This was referenced Jun 26, 2021
Merged
Open
Open
Merged
Open
This was referenced Aug 5, 2021
Closed
Closed
This was referenced Aug 29, 2021
Closed
Closed
This was referenced Aug 30, 2021
Closed
Merged
Merged
Merged
@renovate renovate bot mentioned this pull request Sep 6, 2021
Merged
1 task
This was referenced Oct 4, 2021
Merged
Merged
This was referenced Oct 18, 2021
Open
Open
This was referenced Oct 21, 2021
Merged
Merged
This was referenced Dec 9, 2021
Open
Open
Open
Open
Open
Open
@renovate renovate bot mentioned this pull request Jan 10, 2022
Open
1 task
@mend-for-github-com mend-for-github-com bot mentioned this pull request Feb 5, 2022
Closed
1 task
This was referenced Mar 7, 2022
Closed
Closed
This was referenced Mar 15, 2022
Merged
Merged
This was referenced Apr 17, 2022
Closed
Closed
This was referenced May 3, 2022
Open
Open
@mend-for-github-com mend-for-github-com bot mentioned this pull request May 12, 2022
Closed
1 task
@renovate renovate bot mentioned this pull request Sep 23, 2022
Merged
1 task
This was referenced Oct 19, 2022
Closed
Closed
@mend-for-github-com mend-for-github-com bot mentioned this pull request Dec 5, 2022
Open
@renovate renovate bot mentioned this pull request Feb 11, 2023
Merged
1 task
@renovate renovate bot mentioned this pull request May 11, 2023
Open
1 task
This was referenced Jun 26, 2023
Closed
Open
@renovate renovate bot mentioned this pull request Jul 6, 2023
Open
1 task
@renovate renovate bot mentioned this pull request Aug 30, 2023
Merged
1 task
@mend-for-github-com mend-for-github-com bot mentioned this pull request Dec 4, 2023
Open
@mend-for-github-com mend-for-github-com bot mentioned this pull request Jan 11, 2024
Open
@renovate renovate bot mentioned this pull request Apr 19, 2024
Open
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tomas-langer tomas-langer tomas-langer approved these changes

@senivam senivam senivam approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
2.30
Development

Successfully merging this pull request may close these issues.
3 participants
@jansupol @tomas-langer @senivam