Skip to content

chore: sync plugins from Mono - #38

Merged
evalops-mirror[bot] merged 62 commits into
mainfrom
sync/mono-projection
Oct 9, 2026
Merged

evalops-mirror[bot] merged 62 commits into
mainfrom
sync/mono-projection

Conversation

@evalops-mirror

@evalops-mirror evalops-mirror Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

plugins projection

Mono source: dx-corp/mono@ce59f79f1aa06756a1f7ebfd91da3328d28fc361.
Prior destination base: 41db539.
Projected content SHA-256: b27c469c88e3f4dfc3d49a69d3e236100c7b026fedde4ef42e581707daa4f63b.

1 changed; 0 deleted.

  • copy/update .repository-projection.json

Mono owns projected source. Destination-owned CI and policy are preserved.
Apply the sync-hold label to this PR to suspend generated updates during intentional destination work.
Source-side verification does not establish destination CI health. Review destination checks before merging.

Change-Origin: generated

Copybara and others added 30 commits September 20, 2026 06:02
FolderOrigin-RevId: b31318e06ac415532fa16ad18652f8fb1fced134
FolderOrigin-RevId: 8420a1f8c5fdd07a3d2d4d2a46e0db0bb6bbb352
github-actions Bot and others added 28 commits September 29, 2026 11:41
@evalops-mirror
evalops-mirror Bot enabled auto-merge (squash) October 9, 2026 03:19
@evalops-mirror
evalops-mirror Bot merged commit 90fb43b into main Oct 9, 2026
3 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.

0 participants