diff options
| author | Yuriy Andamasov <yuriy@andamasov.com> | 2026-06-02 02:20:12 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-02 02:20:12 +0300 |
| commit | 7a211ae88f211ae28327d4c5c5ae78489fb95486 (patch) | |
| tree | 089c28cbae6e81d26d09732d11ce1eb35331448d /src/diff_tree.ml | |
| parent | dfb3aa23abf3a49e3ba65b22d733a7e53ca7db50 (diff) | |
| download | vyos1x-config-7a211ae88f211ae28327d4c5c5ae78489fb95486.tar.gz vyos1x-config-7a211ae88f211ae28327d4c5c5ae78489fb95486.zip | |
ci(mirror-rollout-4): add force_workspace backport companion wrapper (#83)
Source-side wrapper (mirrored to the VyOS-Networks twin) for the public
vyos/.github force_workspace reusable. Inert on this public source (owner
guard); active on the mirror. force_workspace_enabled per-consumer (default false).
🤖 Generated by [robots](https://vyos.io)
Diffstat (limited to 'src/diff_tree.ml')
0 files changed, 0 insertions, 0 deletions