yexinru/doc-exports
1
0
Fork 0
forked from docs/doc-exports
Code Pull Requests Activity

sharing variables

Browse Source
This commit is contained in:
vladimirhasko
2025-08-12 07:01:10 +00:00
parent 97f395c7d0
commit a8123e8120
1 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.gitea/workflows/convert-html-docs.yaml
View File

@ -163,22 +163,24 @@ jobs:
REPO=$(jq -r .repository.full_name "$GT_EVENT_PATH")
OWNER=$(echo "$REPO" | cut -d'/' -f1)
REPO_NAME=$(echo "$REPO" | cut -d'/' -f2)
echo "Gitea REPO: $REPO_NAME"
echo "Gitea PR Number: $PR_NUMBER"
echo "Gitea Owner: $OWNER"
echo "REPO=$REPO" >> $GITHUB_ENV
echo "REPO_NAME=$REPO_NAME" >> $GITHUB_ENV
echo "PR_NUMBER=$PR_NUMBER" >> $GITHUB_ENV
echo "OWNER=$OWNER" >> $GITHUB_ENV
# exit 1
- name: List changed files in PR
id: changed_files
run: |
PR_NUMBER=$(jq -r .pull_request.number "$GT_EVENT_PATH")
REPO=$(jq -r .repository.full_name "$GT_EVENT_PATH")
# PR_NUMBER=$(jq -r .pull_request.number "$GT_EVENT_PATH")
# REPO=$(jq -r .repository.full_name "$GT_EVENT_PATH")
echo "PR #$PR_NUMBER from repo $REPO"
# Extract owner and repo name
OWNER=$(echo "$REPO" | cut -d'/' -f1)
REPO_NAME=$(echo "$REPO" | cut -d'/' -f2)
# OWNER=$(echo "$REPO" | cut -d'/' -f1)
# REPO_NAME=$(echo "$REPO" | cut -d'/' -f2)
echo "Repository $REPO_NAME in organization $OWNER"
# Use Gitea API to get changed files
# Requires an API token with repo read access