mirror of
https://github.com/SoftFever/OrcaSlicer.git
synced 2025-10-19 06:41:14 -06:00
Added proper home index list
This commit is contained in:
parent
b3e20b382b
commit
130503ce64
3 changed files with 16 additions and 5 deletions
5
.github/workflows/publish_docs_to_wiki.yml
vendored
5
.github/workflows/publish_docs_to_wiki.yml
vendored
|
@ -10,8 +10,7 @@ on:
|
|||
|
||||
env:
|
||||
USER_TOKEN: ${{ secrets.WIKI_ACTION_TOKEN }} # This is the repository secret
|
||||
USER_NAME: 'stupid-deploy-bot' # Enter the username of your (bot) account
|
||||
USER_EMAIL: 'stupid-deploy-bot@users.noreply.github.com' # Enter the e-mail of your (bot) account
|
||||
USER_NAME: ${{ vars.BOT_USER_NAME }} # Enter the username of your (bot) account
|
||||
OWNER: ${{ github.event.repository.owner.name }} # This is the repository owner
|
||||
REPOSITORY_NAME: ${{ github.event.repository.name }} # This is the repository name
|
||||
|
||||
|
@ -27,7 +26,7 @@ jobs:
|
|||
- name: Pull content from wiki
|
||||
run: |
|
||||
git config --global user.name "$USER_NAME"
|
||||
git config --global user.email "$USER_EMAIL"
|
||||
git config --global user.email "$USER_NAME"@users.noreply.github.com
|
||||
git clone https://"$USER_TOKEN"@github.com/"$OWNER"/"$REPOSITORY_NAME".wiki.git tmp_wiki
|
||||
# 4. Synchronize differences between `doc` & `tmp_wiki`
|
||||
# 5. Push new Wiki content
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue