Skip to content

Use proper URL for the doc connector#385

Merged
jkoenig134 merged 2 commits intorelease/v7from
rename-doc-connector
Nov 4, 2025
Merged

Use proper URL for the doc connector#385
jkoenig134 merged 2 commits intorelease/v7from
rename-doc-connector

Conversation

@jkoenig134
Copy link
Contributor

@jkoenig134 jkoenig134 commented Nov 4, 2025

Readiness checklist

  • I ensured that the PR title is good enough.
  • I labeled the PR.
  • I self-reviewed the PR.

Description

As the Connector V7 is now out doc-demo.is.enmeshed.eu is now v7.

@jkoenig134 jkoenig134 requested a review from tnotheis as a code owner November 4, 2025 08:25
@jkoenig134 jkoenig134 added the chore Some routine work like updating dependencies label Nov 4, 2025
@jkoenig134 jkoenig134 requested a review from stnmtz as a code owner November 4, 2025 08:25
@jkoenig134 jkoenig134 enabled auto-merge (squash) November 4, 2025 08:34
@jkoenig134 jkoenig134 merged commit da2dade into release/v7 Nov 4, 2025
7 checks passed
@jkoenig134 jkoenig134 deleted the rename-doc-connector branch November 4, 2025 08:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Some routine work like updating dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants