Skip to content

chore: sync deixic-python from Mono - #12

Merged
evalops-mirror[bot] merged 23 commits into
mainfrom
sync/mono-projection
Sep 22, 2026
Merged

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

Conversation

@evalops-mirror

@evalops-mirror evalops-mirror Bot commented Sep 22, 2026

Copy link
Copy Markdown
Contributor

deixic-python projection

Mono source: dx-corp/mono@2df44a8283c07c0ba875174e70d2aaabb72d19cc.
Prior destination base: 70b38e6.
Projected content SHA-256: 9871798ff6569ec95a8e775d0d4fbc81394e9c1f26c79fa7b96f1e01accea970.

2 changed; 0 deleted.

  • copy/update .repository-projection.json
  • copy/update src/console/v1/console_pb2.py

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

github-actions Bot and others added 23 commits September 20, 2026 06:15
@evalops-mirror
evalops-mirror Bot enabled auto-merge (squash) September 22, 2026 02:26
@evalops-mirror
evalops-mirror Bot merged commit 9b07bb8 into main Sep 22, 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