Searched full:git (Results 1 – 3 of 3) sorted by relevance
21 - name: Git Prepare24 git config --global user.email "intel_hal@intel.github.com"25 git config --global user.name "Intel HAL Docs Robot"26 git fetch38 git checkout -b ${DOCS_BRANCH} origin/${DOCS_BRANCH}41 if [[ -n $(git status -s ./${DOCS_DIR_NAME}) ]]; then42 git add ./${DOCS_DIR_NAME}/43 git_hash=$(git rev-parse --short "${GITHUB_SHA}")44 git commit -s -m "Update SEDI docs, triggered by ${git_hash}"45 git push origin HEAD:${DOCS_BRANCH}
29 - name: Set Git Base32 git fetch origin ${{ github.event.pull_request.base.ref }}33 echo "checkpatch base is: $(git show FETCH_HEAD --oneline --raw)"38 git diff --patch FETCH_HEAD | ./checkpatch.pl --no-tree --codespellfile ./spelling.txt -
26 git config --global --add safe.directory ${GITHUB_WORKSPACE}
