-
Notifications
You must be signed in to change notification settings - Fork 7
40 lines (35 loc) · 1.1 KB
/
pre-check-docks.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
name: Pre-check docs
on:
pull_request:
branches: [main]
jobs:
pre-check-docs:
runs-on: ubuntu-latest
steps:
# full pandoc installation by
# nbsphinx extension
- name: Install pandoc
run: sudo apt-get install pandoc
# python 3.10 installation
- uses: actions/setup-python@v4
with:
python-version: "3.10"
# checkout the repository
# by default its main branch
- uses: actions/checkout@v3
with:
fetch-depth: 0
ref: ${{ github.ref }}
# due to brach protection i need to do this on another branch
- name: merge head branch of PR with base branch
run: |
git config --local user.email "action@github.com"
git config --local user.name "GitHub Action"
git branch precheck
git checkout precheck
git merge origin/${{github.head_ref}}
git add .
git commit -m "merge head branch of PR with base branch"
echo "merged head branch of PR with base branch"
git checkout gh-pages
git merge precheck