Skip to content

configurable github pages base path - #9

Merged
gionn merged 2 commits into
masterfrom
pages-base-path
Oct 14, 2025
Merged

configurable github pages base path#9
gionn merged 2 commits into
masterfrom
pages-base-path

Conversation

@gionn

@gionn gionn commented Oct 14, 2025

Copy link
Copy Markdown
Owner

No description provided.

Copilot AI review requested due to automatic review settings October 14, 2025 14:42

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR configures the GitHub Pages base path to use a GitHub repository variable instead of automatically deriving it from the repository name. This provides more flexibility in deployment scenarios where the base path may differ from the repository name.

Key Changes

  • Replace hardcoded base path derivation with configurable repository variable
  • Enable custom base path configuration through GitHub repository variables

Comment thread .github/workflows/build.yaml Outdated
@gionn
gionn requested a review from Copilot October 14, 2025 14:45

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

@gionn
gionn merged commit 5acf228 into master Oct 14, 2025
3 checks passed
@gionn
gionn deleted the pages-base-path branch October 14, 2025 14:46
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.

2 participants