Different way to fetch

This commit is contained in:
Griatch 2022-01-26 00:18:29 +01:00
parent 835e4d6bb5
commit 7feae7c9ac
2 changed files with 5 additions and 4 deletions

View file

@ -49,13 +49,13 @@ jobs:
evennia --init gamedir evennia --init gamedir
cd gamedir cd gamedir
evennia migrate evennia migrate
git fetch origin develop
git fetch origin v0.9.5:v0.9.5
git config --global user.email "docbuilder@evennia.com"
git config --global user.name "Evennia docbuilder action"
- name: Build and deploy docs (only from master/develop branch) - name: Build and deploy docs (only from master/develop branch)
if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}} if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}}
run: | run: |
git fetch origin develop
git fetch origin v0.9.5
git config --global user.email "docbuilder@evennia.com"
git config --global user.name "Evennia docbuilder action"
cd docs cd docs
make release make release

View file

@ -3,6 +3,7 @@
SOURCEDIR = source SOURCEDIR = source
BUILDDIR = build BUILDDIR = build
AUTODOCDIR = $(SOURCEDIR)/api AUTODOCDIR = $(SOURCEDIR)/api
# You can set these variables from the command line, and also # You can set these variables from the command line, and also
# from the environment for the first two. # from the environment for the first two.
SPHINXOPTS ?= SPHINXOPTS ?=