Skip to content

Document the current implementation#46

Open
NicoVogel wants to merge 7 commits into
developfrom
NicoVogel/issue45
Open

Document the current implementation#46
NicoVogel wants to merge 7 commits into
developfrom
NicoVogel/issue45

Conversation

@NicoVogel

Copy link
Copy Markdown
Collaborator

Fixes #45

@NicoVogel

Copy link
Copy Markdown
Collaborator Author

@PKief could you look into https://github.com/marketplace/actions/publish-to-github-wiki and add it to this PR?

1 similar comment
@NicoVogel

Copy link
Copy Markdown
Collaborator Author

@PKief could you look into https://github.com/marketplace/actions/publish-to-github-wiki and add it to this PR?

@NicoVogel NicoVogel requested a review from PKief July 4, 2021 14:23
@PKief PKief added the documentation Improvements or additions to documentation label Jul 11, 2021

@PKief PKief left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added the action and it works fine :) I restricted the action to be only triggered if we merge something to the main or develop branch. So it does not update the wiki for other unmerged PR branches in the repo.

Comment thread doc/images/images.drawio Outdated
Comment thread doc/Home.md
@PKief PKief marked this pull request as ready for review August 1, 2021 11:31
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document the current implementation

2 participants