Skip to content
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

📚 Add missing steps to setup GitHub Pages and other small doc fixes #80

Merged
merged 1 commit into from
Dec 19, 2023
Merged

📚 Add missing steps to setup GitHub Pages and other small doc fixes #80

merged 1 commit into from
Dec 19, 2023

Conversation

pleonex
Copy link
Owner

@pleonex pleonex commented Dec 19, 2023

  • Add missing steps to setup properly GitHub Pages:
    • Write permissions for GitHub Token not enabled by default on new repos
    • Allow publishing docs from git tags
  • Add missing reference to .prettierrc
  • Typo in Directory.packages.props

Quality check list

  • Related code has been tested automatically or manually
  • Related documentation is updated
  • I acknowledge I have read and filled this checklist and accept the
    developer certificate of origin

Acceptance criteria

  • Document steps tested on a new repo allowing to publish docs

Follow-up work

None

@pleonex pleonex added the documentation Improvements or additions to documentation label Dec 19, 2023
@pleonex pleonex self-assigned this Dec 19, 2023
@pleonex pleonex merged commit 5e30786 into main Dec 19, 2023
4 checks passed
@pleonex pleonex deleted the feature/docs-fixes branch December 19, 2023 22:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@pleonex pleonex

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@pleonex