Searched full:git (Results 1 – 3 of 3) sorted by relevance
19 - name: Git Prepare22 git config --global user.email "intel_hal@intel.github.com"23 git config --global user.name "Intel HAL Docs Robot"24 git fetch36 git checkout -b ${DOCS_BRANCH} origin/${DOCS_BRANCH}39 if [[ -n $(git status -s ./${DOCS_DIR_NAME}) ]]; then40 git add ./${DOCS_DIR_NAME}/41 git_hash=$(git rev-parse --short "${GITHUB_SHA}")42 git commit -s -m "Update SEDI docs, triggered by ${git_hash}"43 git push origin HEAD:${DOCS_BRANCH}
27 - name: Set Git Base30 git fetch origin ${{ github.event.pull_request.base.ref }}31 echo "checkpatch base is: $(git show FETCH_HEAD --oneline --raw)"36 git diff --patch FETCH_HEAD | ./checkpatch.pl --no-tree --codespellfile ./spelling.txt -
24 git config --global --add safe.directory ${GITHUB_WORKSPACE}
