Skip to content

Fix handling of dots in mapping names#27

Merged
ackkerman merged 1 commit intomainfrom
2025-08-11-fix-not-connected-error-for-repo-with-dot
Aug 11, 2025
Merged

Fix handling of dots in mapping names#27
ackkerman merged 1 commit intomainfrom
2025-08-11-fix-not-connected-error-for-repo-with-dot

Commits

Commits on Aug 11, 2025