Skip to content

Retire redundant GitHub Pages mirror#2

Merged
manishtiwari25 merged 1 commit into
mainfrom
fix/retire-pages-mirror
Jul 18, 2026
Merged

Retire redundant GitHub Pages mirror#2
manishtiwari25 merged 1 commit into
mainfrom
fix/retire-pages-mirror

Conversation

@manishtiwari25

Copy link
Copy Markdown
Member

Summary

  • document Vercel as the canonical website deployment
  • remove the misleading public/CNAME artifact
  • remove the redundant GitHub Pages deployment workflow

Validation

  • npm run lint
  • npm run typecheck
  • npm run build

Document Vercel as the canonical website deployment and remove the GitHub Pages workflow and CNAME artifact.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@manishtiwari25
manishtiwari25 merged commit d0d4b24 into main Jul 18, 2026
1 check passed
@manishtiwari25
manishtiwari25 deleted the fix/retire-pages-mirror branch July 18, 2026 14:23
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.

1 participant