Skip to content

chore: sync main → dev#450

Merged
marc-romu merged 1 commit into
devfrom
main
May 3, 2026
Merged

chore: sync main → dev#450
marc-romu merged 1 commit into
devfrom
main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 3, 2026

Automated sync of direct commits to main (e.g., workflow or hash updates) into dev.

  • Source: main
  • Target: dev
  • Commits ahead: 1

This PR is kept open and reused on subsequent main updates.

…ranches

Modified main-sync-to-dev workflow to always sync main into dev, but for dev-* stabilization branches only allow diffs touching .github/, .windsurf/, .githooks/, hashes/, or modifications to existing src/SmartHopper.Providers.*/*ProviderModels.cs files. Skips dev-* targets when diff contains files outside allow-list (new features, additions/renames/removals of ProviderModels.cs) with warning to use patch-propagate instead
@github-actions github-actions Bot requested a review from marc-romu as a code owner May 3, 2026 10:54
@marc-romu
Copy link
Copy Markdown
Member

@copilot resolve the merge conflicts in this pull request

Copy link
Copy Markdown

Copilot AI commented May 3, 2026

@marc-romu I can’t apply these changes because the pull request’s branch is the repository’s default branch, which I’m not allowed to push to directly.

You can ask me to create a new pull request with the requested changes instead and I'll open a separate PR on a new branch.

@marc-romu marc-romu merged commit 572e1f4 into dev May 3, 2026
15 checks passed
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