Skip to content

JetBrains IDE plugin / Move Profiler docs to separate page #29758

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

Merged
merged 7 commits into from
Jun 13, 2025

Conversation

jfree
Copy link
Contributor

@jfree jfree commented Jun 5, 2025

What does this PR do? What is the motivation?

Moves the Continuous Profiler documentation to a separate page, and updates the screenshots.

Merge instructions

Merge readiness:

  • Ready for merge

For Datadog employees:

Your branch name MUST follow the <name>/<description> convention and include the forward slash (/). Without this format, your pull request will not pass CI, the GitLab pipeline will not run, and you won't get a branch preview. Getting a branch preview makes it easier for us to check any issues with your PR, such as broken links.

If your branch doesn't follow this format, rename it or create a new branch and PR.

[6/5/2025] Merge queue has been disabled on the documentation repo. If you have write access to the repo, the PR has been reviewed by a Documentation team member, and all of the required checks have passed, you can use the Squash and Merge button to merge the PR. If you don't have write access, or you need help, reach out in the #documentation channel in Slack.

Additional notes

Copy link
Contributor

github-actions bot commented Jun 5, 2025

✅ Documentation Team Review

The documentation team has approved this pull request. Thank you for your contribution!

Copy link
Contributor

github-actions bot commented Jun 5, 2025

@github-actions github-actions bot added Architecture Everything related to the Doc backend Images Images are added/removed with this PR labels Jun 5, 2025
@jfree jfree changed the title JetBrains IDE pluging / Move Profiler docs to separate page JetBrains IDE plugin / Move Profiler docs to separate page Jun 5, 2025
@jfree jfree marked this pull request as ready for review June 6, 2025 07:57
@jfree jfree requested a review from a team as a code owner June 6, 2025 07:57
@jhgilbert jhgilbert added the editorial review Waiting on a more in-depth review label Jun 6, 2025
@joepeeples joepeeples self-assigned this Jun 6, 2025
Copy link
Contributor

@joepeeples joepeeples left a comment

Choose a reason for hiding this comment

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

Approved with a few small edits. This one also has the same suggestion as #29734, to omit quotes around non-breaking breakpoints, so I held off on merging this with my edits, just in case you want to keep them.

@jfree
Copy link
Contributor Author

jfree commented Jun 12, 2025

/merge

@dd-devflow
Copy link

dd-devflow bot commented Jun 12, 2025

View all feedbacks in Devflow UI.

2025-06-12 07:42:46 UTC ℹ️ Start processing command /merge


2025-06-12 07:42:52 UTC ℹ️ MergeQueue: waiting for PR to be ready

This merge request is not mergeable yet, because of pending checks/missing approvals. It will be added to the queue as soon as checks pass and/or get approvals.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2025-06-12 07:43:11 UTC ℹ️ MergeQueue: queue is disabled

Added to the queue but the mergequeue is not enabled for now.


2025-06-12 15:29:31 UTC ⚠️ MergeQueue: This merge request was unqueued

[email protected] unqueued this merge request

@jfree
Copy link
Contributor Author

jfree commented Jun 12, 2025

/merge -c

@dd-devflow
Copy link

dd-devflow bot commented Jun 12, 2025

View all feedbacks in Devflow UI.

2025-06-12 15:29:23 UTC ℹ️ Start processing command /merge -c

@jfree
Copy link
Contributor Author

jfree commented Jun 12, 2025

/merge

@dd-devflow
Copy link

dd-devflow bot commented Jun 12, 2025

View all feedbacks in Devflow UI.

2025-06-12 16:54:23 UTC ℹ️ Start processing command /merge


2025-06-12 16:54:33 UTC ℹ️ MergeQueue: queue is disabled

Added to the queue but the mergequeue is not enabled for now.


2025-06-13 14:34:14 UTC ℹ️ MergeQueue: This merge request was already merged

This pull request was merged directly.

@joepeeples joepeeples merged commit aa36384 into master Jun 13, 2025
28 of 31 checks passed
@joepeeples joepeeples deleted the david.gilbert/IDE-4596-jetbrains-ide-profiler branch June 13, 2025 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Architecture Everything related to the Doc backend editorial review Waiting on a more in-depth review Images Images are added/removed with this PR mergequeue-status: done
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants