Skip to content

Fix incorrect repository links: bedavs → bedaHovorka#745

Merged
bedaHovorka merged 2 commits into
developfrom
copilot/fix-wrong-link-in-doc
Jul 11, 2026
Merged

Fix incorrect repository links: bedavs → bedaHovorka#745
bedaHovorka merged 2 commits into
developfrom
copilot/fix-wrong-link-in-doc

Conversation

Copilot AI commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

Documentation and configuration files contained incorrect repository references using bedavs/interlockSim instead of the correct organization name bedaHovorka/interlockSim. This prevented direct navigation to issue trackers, CI workflows, and GitHub Actions from documentation.

Changes:

  • Configuration: Updated 4 commented SonarQube property links in sonar-project.properties
  • Main documentation: Fixed 3 badge and GitHub Actions references in CLAUDE.md
  • Migration docs: Corrected 2 example badge URLs in docs/JAVA21-MIGRATION-SUMMARY.md (within code block examples)
  • Architecture docs: Updated 1 issue reference in docs/FAST_SIM_BENCHMARK.md
  • Test documentation: Fixed 1 JavaDoc link in KoinGoldenOutputTest.kt
  • Specification documents: Corrected 2 repository references in backlog election design specs

Example of the fix:

-[![Gradle Build with Java 21](https://github.com/bedavs/interlockSim/actions/workflows/gradle-java21.yml/badge.svg)]
+[![Gradle Build with Java 21](https://github.com/bedaHovorka/interlockSim/actions/workflows/gradle-java21.yml/badge.svg)]

Total: 13 occurrences across 7 files corrected.

Copilot AI linked an issue Jul 11, 2026 that may be closed by this pull request
Copilot AI changed the title [WIP] Fix wrong repository link in documentation Fix incorrect repository links: bedavs → bedaHovorka Jul 11, 2026
Copilot AI requested a review from bedaHovorka July 11, 2026 03:06
@bedaHovorka bedaHovorka marked this pull request as ready for review July 11, 2026 03:12
@bedaHovorka bedaHovorka merged commit 9829741 into develop Jul 11, 2026
3 checks passed
@bedaHovorka bedaHovorka deleted the copilot/fix-wrong-link-in-doc branch July 11, 2026 03:39
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.

wrong link in doc

2 participants