Add GitHub Pages site for the workshop guide#19

Merged

ohpauleez merged 9 commits into

mainfrom

worktree-github-pages

Apr 24, 2026

Commits on Apr 24, 2026

Add GitHub Pages site for the workshop guide

Sourceless
and
claude
committed
Trigger Pages workflow on pull_request so first deploy happens pre-merge

Sourceless
and
claude
committed
Add x86_64-linux platform to Gemfile.lock for CI

Sourceless
and
claude
committed
Auto-enable Pages via configure-pages@v5

Sourceless
and
claude
committed
Switch Pages trigger from pull_request to push

Sourceless
and
claude
committed
Set baseurl so CSS and images resolve on the project-subpath site

Sourceless
and
claude
committed
Hide theme's page title on the guide to avoid duplicate H1

Sourceless
and
claude
committed
Add GitHub repo link to the top nav
Sourceless
committed
Hide RSS/atom feed from footer and head
Sourceless
committed