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.

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

docs: added fetching from notion #2670

Merged
merged 6 commits into from
Jul 12, 2024
Merged

docs: added fetching from notion #2670

merged 6 commits into from
Jul 12, 2024

Conversation

lucaseduoli
Copy link
Collaborator

  • Added manual fetch of Docs pages from Notion
  • Added GH Workflow to fetch the Docs pages and create a PR automatically

@lucaseduoli lucaseduoli self-assigned this Jul 12, 2024
@lucaseduoli lucaseduoli marked this pull request as ready for review July 12, 2024 20:46
@dosubot dosubot bot added size:XXL This PR changes 1000+ lines, ignoring generated files. documentation Improvements or additions to documentation labels Jul 12, 2024
Copy link
Contributor

Pull Request Validation Report

This comment is automatically generated by Conventional PR

Whitelist Report

Whitelist Active Result
Pull request is a draft and should be ignored
Pull request is made by a whitelisted user and should be ignored
Pull request is submitted by a bot and should be ignored
Pull request is submitted by administrators and should be ignored

Result

Pull request does not satisfy any enabled whitelist criteria. Pull request will be validated.

Validation Report

Validation Active Result
All commits in this pull request has valid messages
Pull request does not introduce too many changes
Pull request has a valid title
Pull request has mentioned issues
Pull request has valid branch name
Pull request should have a non-empty body

Result

Pull request satisfies all enabled pull request rules.

Last Modified at 12 Jul 24 20:46 UTC

@github-actions github-actions bot added documentation Improvements or additions to documentation and removed documentation Improvements or additions to documentation labels Jul 12, 2024
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Jul 12, 2024
@lucaseduoli lucaseduoli merged commit 3aa2513 into main Jul 12, 2024
7 checks passed
@lucaseduoli lucaseduoli deleted the feat/docs-auto-gen branch July 12, 2024 20:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation lgtm This PR has been approved by a maintainer size:XXL This PR changes 1000+ lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants