Skip to content

Added documentation on how to procceed with resequencing #11

Added documentation on how to procceed with resequencing

Added documentation on how to procceed with resequencing #11

name: Publish docs to Wiki
# Trigger this action only if there are changes pushed to the docs/** directory under the main branch
on:
push:
paths:
- 'docs/**' # This includes all sub folders
branches:
- main # Make sure this matches your actual main branch
env:
USER_TOKEN: ${{ secrets.WIKI_TOKEN }} # This is the repository secret
OWNER: ${{ github.event.repository.owner.name }} # This is the repository owner
REPOSITORY_NAME: ${{ github.event.repository.name }} # This is the repository name
jobs:
publish_docs_to_wiki:
name: Publish docs to Wiki
runs-on: ubuntu-latest
steps:
- name: Bot Details
uses: raven-actions/bot-details@v1
with:
bot-slug-name: github-actions # (optional) if not specified then default one is 'github-actions'
- name: Checkout repository
uses: actions/checkout@v2
- name: Pull content from wiki
run: |
mkdir tmp_wiki
cd tmp_wiki
git init
git config --global init.defaultBranch main
git config user.name $BOT_NAME
git config user.email $BOT_EMAIL
git pull https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git
- name: Push content to wiki
run: |
rsync -av --delete docs/ tmp_wiki/ --exclude .git
cd tmp_wiki
git add .
git commit -m "Update Wiki content"
git remote add upstream https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git
git push -f upstream master