Skip to content

chore: add missing page - #1185

Merged
jcstein merged 2 commits into
mainfrom
jcs/add-missed-page
Oct 24, 2023
Merged

chore: add missing page#1185
jcstein merged 2 commits into
mainfrom
jcs/add-missed-page

Conversation

@jcstein

@jcstein jcstein commented Oct 24, 2023

Copy link
Copy Markdown
Member

Overview

Adds a missing page from migration.

Checklist

  • New and updated code has appropriate documentation
  • New and updated code has new and/or updated testing
  • Required CI checks are passing
  • Visual proof for any user facing features like CLI or documentation updates
  • Linked issues closed with keywords

@github-actions

github-actions Bot commented Oct 24, 2023

Copy link
Copy Markdown
Contributor
PR Preview Action v1.4.4
🚀 Deployed preview to https://celestiaorg.github.io/docs/pr-preview/pr-1185/
on branch gh-pages at 2023-10-24 15:25 UTC

@jcstein jcstein self-assigned this Oct 24, 2023
@jcstein
jcstein merged commit df9c1b3 into main Oct 24, 2023
@jcstein
jcstein deleted the jcs/add-missed-page branch October 24, 2023 15:31
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