Skip to content
This repository was archived by the owner on Oct 19, 2023. It is now read-only.

Update push-to-docs.yml #121

Merged
merged 1 commit into from
Aug 8, 2022
Merged

Update push-to-docs.yml #121

merged 1 commit into from
Aug 8, 2022

Conversation

@jcortejoso
Copy link
Contributor

@jcortejoso jcortejoso commented Aug 4, 2022

Description

Refactor push-to-docs to use script.

Is this PR related with an open issue?

Related to Issue #

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Checklist:

  • Follows the code style of this project.
  • Tests Cover Changes
  • Documentation

Funny gif

Put a link of a funny gif inside the parenthesis-->

@jcortejoso jcortejoso requested review from a team as code owners August 4, 2022 10:23
@jcortejoso jcortejoso merged commit 8ae8213 into main Aug 8, 2022
@jcortejoso jcortejoso deleted the jcortejoso/push-to-docs branch August 8, 2022 13:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@spielcrypto spielcrypto spielcrypto approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jcortejoso @spielcrypto