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

docs: PolicyMonitor DR #3441

Merged
merged 2 commits into from
Sep 13, 2023
Merged

docs: PolicyMonitor DR #3441

merged 2 commits into from
Sep 13, 2023

Conversation

ndr-brt
Copy link
Member

@ndr-brt ndr-brt commented Sep 12, 2023

What this PR changes/adds

PolicyMonitor DR

Why it does that

Briefly state why the change was necessary.

Further notes

List other areas of code that have changed but are not necessarily linked to the main feature. This could be method
signature changes, package declarations, bugs that were encountered and were fixed inline, etc.

Linked Issue(s)

Part of #3422

Please be sure to take a look at the contributing guidelines and our etiquette for pull requests.

@ndr-brt ndr-brt added the documentation Improvements or additions to documentation label Sep 12, 2023
Copy link
Member

@paullatzelsperger paullatzelsperger left a comment

Choose a reason for hiding this comment

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

LGTM - minor comments aside

@ndr-brt ndr-brt merged commit 1485c98 into eclipse-edc:main Sep 13, 2023
5 checks passed
@ndr-brt ndr-brt deleted the 3422-dr branch September 13, 2023 06:44
ndkrimbacher pushed a commit to nexyo-io/DataSpaceConnector that referenced this pull request Oct 4, 2023
* docs: PolicyMonitor DR

* PR remarks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants