Skip to content

[WIP] Fix mailto links in overview.md based on feedback#9

Merged
doublegate merged 2 commits intoclaude/fix-mailto-overview-018uXWoggzZ3wE5W4wBYVtkgfrom
copilot/sub-pr-8
Nov 18, 2025
Merged

[WIP] Fix mailto links in overview.md based on feedback#9
doublegate merged 2 commits intoclaude/fix-mailto-overview-018uXWoggzZ3wE5W4wBYVtkgfrom
copilot/sub-pr-8

Conversation

Copy link
Contributor

Copilot AI commented Nov 18, 2025

  • Understand the feedback about email domain inconsistency
  • Verify current state of overview.md
  • Check email domains in other security documentation files
  • Update line 1133 to use security[at]prtip.dev instead of security[at]prtip.example.com
  • Remove "(replace with actual contact)" note as the email is now consistent
  • Verify both occurrences in overview.md now use the same domain

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@github-actions
Copy link

🤖 Hi @Copilot, I've received your request, and I'm working on it now! You can track my progress in the logs for more details.

@doublegate doublegate marked this pull request as ready for review November 18, 2025 05:12
Copilot AI review requested due to automatic review settings November 18, 2025 05:12
Copy link
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.

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Co-authored-by: doublegate <6858123+doublegate@users.noreply.github.com>
@doublegate doublegate merged commit 9058fb7 into claude/fix-mailto-overview-018uXWoggzZ3wE5W4wBYVtkg Nov 18, 2025
@doublegate doublegate deleted the copilot/sub-pr-8 branch November 18, 2025 05:12
Copilot AI requested a review from doublegate November 18, 2025 05:13
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.

2 participants