Skip to content

Make conflict comments more visible#5452

Merged
premun merged 2 commits intodotnet:mainfrom
premun:prvysoky/more-visible-comments
Nov 10, 2025
Merged

Make conflict comments more visible#5452
premun merged 2 commits intodotnet:mainfrom
premun:prvysoky/more-visible-comments

Conversation

@premun
Copy link
Copy Markdown
Member

@premun premun commented Nov 10, 2025

Copilot AI review requested due to automatic review settings November 10, 2025 09:49
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR introduces a new CommentType.Caution enum value to distinguish conflict-related warnings from other types of warnings in pull request comments. The change improves the visual presentation of conflict notifications by using GitHub's [!CAUTION] markdown alert instead of [!IMPORTANT].

Key changes:

  • Adds CommentType.Caution enum value to categorize conflict-related comments
  • Replaces CommentType.Warning with CommentType.Caution for conflict scenarios in pull request updates
  • Adds a visual conflict header ("🛑 Conflict detected") to manual conflict resolution comments
  • Makes GetPreviousSourceSha method static (optimization)

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated no comments.

File Description
src/Microsoft.DotNet.Darc/DarcLib/CommentCollector.cs Adds Caution to the CommentType enum
src/ProductConstructionService/ProductConstructionService.DependencyFlow/PullRequestCommenter.cs Adds handling for CommentType.Caution to render as [!CAUTION] markdown alert
src/ProductConstructionService/ProductConstructionService.DependencyFlow/PullRequestUpdater.cs Changes conflict-related comments from Warning to Caution type and makes GetPreviousSourceSha static
src/ProductConstructionService/ProductConstructionService.DependencyFlow/PullRequestCommentBuilder.cs Adds conflict detection emoji header to manual conflict resolution comments

dkurepa
dkurepa previously approved these changes Nov 10, 2025
@premun premun merged commit 3e888e0 into dotnet:main Nov 10, 2025
8 of 9 checks passed
@premun premun deleted the prvysoky/more-visible-comments branch November 10, 2025 11:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants