Skip to content

[POC] inspector for EditableTree#13116

Closed
sharptrip wants to merge 6 commits into
microsoft:mainfrom
sharptrip:editable-tree-inspector
Closed

[POC] inspector for EditableTree#13116
sharptrip wants to merge 6 commits into
microsoft:mainfrom
sharptrip:editable-tree-inspector

Conversation

@sharptrip
Copy link
Copy Markdown
Contributor

How contribute to this repo.

Guidelines for Pull Requests.

The sections included below are suggestions for what you may want to include.
Feel free to remove or alter parts of this template that do not offer value for your specific change.

Description

A concise description of the changes (bug or feature) and their impact/motivation.
If this description is short enough to be used as the title, delete this section and just use the title.

For bug fixes, also include specifics of how to reproduce it / confirm it is fixed.

If this Pull Request should close/resolve any issues when merged, use the special syntax for that here.

Breaking Changes

If this introduces a breaking change, please describe the impact and migration path for existing applications below.
See Breaking-vs-Non-breaking-Changes for details.
If there are no breaking changes, delete this section.

Reviewer Guidance

The review process is outlined on this wiki page.

List any specific things you want to get reviewer opinions on, and anything a reviewer would need to know to review this PR effectively.
Things you might want to include:

  • Questions about how to properly make automated tests for your changes.
  • Questions about design choices you made.
  • Descriptions of how to manually test the changes (and how much of that you have done).
  • etc.

If you have any questions in this section, consider making the PR a draft until all questions have been resolved.

@github-actions github-actions Bot added area: dds Issues related to distributed data structures area: dds: propertydds public api change Changes to a public API base: main PRs targeted against main branch labels Nov 29, 2022
@sharptrip sharptrip changed the title [POC] Editable tree inspector [POC] inspector for EditableTree Nov 29, 2022
@sharptrip sharptrip closed this Dec 5, 2022
@sharptrip sharptrip deleted the editable-tree-inspector branch December 5, 2022 14:15
@sharptrip
Copy link
Copy Markdown
Contributor Author

Please use new PR: sharptrip#14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: dds: propertydds area: dds Issues related to distributed data structures base: main PRs targeted against main branch community-contribution public api change Changes to a public API

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants