Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upMkdocs #180
Mkdocs #180
Conversation
| push: | ||
| branches: | ||
| - 'main' | ||
| - 'mkdocs' # Remove after merge |
This comment has been minimized.
This comment has been minimized.
crazy-max
Aug 2, 2020
•
Author
Contributor
@csharpfritz Remove this line when merged (was here for testing purpose and demo)
| - | ||
| name: Deploy | ||
| #if: success() && github.event_name != 'pull_request' && (endsWith(github.ref, github.event.repository.default_branch) || steps.prepare.outputs.release == 'true') | ||
| if: success() && github.event_name != 'pull_request' # Remove after merge and use the previous condition |
This comment has been minimized.
This comment has been minimized.
crazy-max
Aug 2, 2020
•
Author
Contributor
@csharpfritz Remove this line when merged and uncomment the previous one (was here for testing purpose and demo)
db18c08
into
FritzAndFriends:dev
|
Thank you very much for the contribution to make our documentation BETTER |

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

crazy-max commentedAug 2, 2020
•
edited
Closes #178
@csharpfritz Generated documentation will be pushed to gh-pages branch so you will have to switch branch in GitHub Pages settings.