Skip to content

[WIP] WIP Addressing feedback on IdP change notification emails#4989

Closed
Copilot wants to merge 1 commit into
sventennie/idp-change-notification-emailsfrom
copilot/sub-pr-4987
Closed

[WIP] WIP Addressing feedback on IdP change notification emails#4989
Copilot wants to merge 1 commit into
sventennie/idp-change-notification-emailsfrom
copilot/sub-pr-4987

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Jan 28, 2026

  • Fix spelling error: "Germand" → "German" in InterpreterSpec.hs:68
  • Validate the change
  • Reply to the comment

💡 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.

Copilot AI mentioned this pull request Jan 28, 2026
2 tasks
@supersven
Copy link
Copy Markdown
Contributor

This is nonsense.

@supersven supersven closed this Jan 28, 2026
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Jan 28, 2026
Copilot AI requested a review from supersven January 28, 2026 18:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants