Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Add redirect instructions to pages that were moved #230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 3 commits into from
Oct 14, 2025
Merged

Add redirect instructions to pages that were moved #230

merged 3 commits into from
Oct 14, 2025

Conversation

Copilot
Copy link
Contributor

@Copilot Copilot AI commented Oct 14, 2025 •
edited
Loading

  • Add redirect_from metadata to OpenTelemetry guide (operations/opentelemetry.md)
  • Add redirect_from metadata to Building Docker guide (operations/building-docker.md)
  • Add redirect_from metadata to Third-Party Components guide (design/third-party.md)
  • Update redirect_from metadata for BOLT protocol guide (integration/bolt-support.md) to use correct path
  • Verify all changes are correct
  • Fix spellcheck error by adding "opentelemetry" (lowercase) to wordlist

Summary

Added redirect_from metadata to all four pages that were moved:

  1. OpenTelemetry guide: Added redirect from /opentelemetry.html and /opentelemetry
  2. Building Docker guide: Added redirect from /building-docker.html and /building-docker
  3. Third-Party Components guide: Added redirect from /third-party.html and /third-party
  4. BOLT protocol guide: Updated existing redirect from /bolt_support.html to /bolt-support.html (using hyphen instead of underscore)

All redirects follow the same pattern as existing redirects in the repository (e.g., getting-started.md). The jekyll-redirect-from plugin is already configured in _config.yml and will automatically create the redirect pages when the site is built.

Spellcheck fix: Added lowercase "opentelemetry" to .wordlist.txt to resolve spellcheck error caused by the URL in the redirect_from metadata.

Original prompt

This section details on the original issue you should resolve

<issue_title>Add redirect instructions to pages that were moved</issue_title>
<issue_description>Add a redirection meta to pages that were moved:

  1. "OpenTelemetry with FalkorDB-py Guide" was moved from /opentelemetry.html
  2. "Building a Docker container" was moved from /building-docker.html
  3. "Third-Party Components in FalkorDB" was moved from /third-party.html
  4. "[EXPERIMENTAL] BOLT protocol support for FalkorDB" was moved from /bolt-support.html

Example:

redirect_from:
  - /opentelemetry.html
  - /opentelemetry
```</issue_description>

## Comments on the Issue (you are @copilot in this section)

<comments>
</comments>

Fixes #229

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

@coderabbitai coderabbitai
Copy link
Contributor

coderabbitai bot commented Oct 14, 2025

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Comment @coderabbitai help to get the list of available commands and usage tips.

@Copilot @gkorland
Add redirect instructions to pages that were moved
0c92e75 
Co-authored-by: gkorland <753206+gkorland@users.noreply.github.com>
@Copilot Copilot AI changed the title [WIP] Add redirect instructions for moved pages Add redirect instructions to pages that were moved Oct 14, 2025
@Copilot Copilot AI requested a review from gkorland October 14, 2025 18:29
Copilot finished work on behalf of gkorland October 14, 2025 18:29
@gkorland gkorland marked this pull request as ready for review October 14, 2025 18:29
@gkorland
Copy link
Contributor

@copilot please fix the spellcheck error

@Copilot @gkorland
Add opentelemetry to wordlist for spellcheck
a24971f 
Co-authored-by: gkorland <753206+gkorland@users.noreply.github.com>
@Copilot Copilot SWE Agent
Copy link
Contributor Author

Copilot AI commented Oct 14, 2025

@copilot please fix the spellcheck error

Fixed in commit 8c76342. Added lowercase "opentelemetry" to .wordlist.txt since the redirect URL uses lowercase.

@Copilot Copilot AI requested a review from gkorland October 14, 2025 18:35
Copilot finished work on behalf of gkorland October 14, 2025 18:35
@gkorland gkorland merged commit fe4a9af into main Oct 14, 2025
5 checks passed
@gkorland gkorland deleted the copilot/add-redirect-instructions branch October 14, 2025 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@gkorland gkorland gkorland approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@gkorland gkorland

Copilot code review Copilot

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add redirect instructions to pages that were moved

2 participants

@Copilot @gkorland
Morty Proxy This is a proxified and sanitized view of the page, visit original site.