Compare commits

...

2 commits

Author SHA1 Message Date
github-actions
0da2d2f7c6 Automated documentation update 2022-08-02 21:50:56 +00:00
Samruddhi Khandale
3c7c5d5c9f fix update-documentation action 2022-08-02 21:50:13 +00:00
2 changed files with 13 additions and 15 deletions

View file

@ -20,31 +20,27 @@ jobs:
- name: Add and Commit Documentation
id: push_image_info
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
set -e
echo "Start."
GIT_BRANCH=$(echo "${{ github.ref }}" | grep -oP 'refs/(heads|tags)/\K(.+)')
if [ "$GIT_BRANCH" == "" ]; then
echo "ERR: Could not determine branch."
exit 1
fi
echo "GIT_BRANCH = ${GIT_BRANCH}"
git config --global user.email "vscr-feedback@microsoft.com"
git config --global user.name "Devcontainers CI"
# Configure git and Push updates
git config --global user.email github-actions@github.com
git config --global user.name github-actions
git config pull.rebase false
# # Pull in anything that may have come in
# git pull "https://ci:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}" "HEAD:$GIT_BRANCH"
branch=automated-documentation-update-$GITHUB_RUN_ID
git checkout -b $branch
message='Automated documentation update'
# Add / update and commit
git add */**/README.md
git status
git commit -m 'Automated documentation update' || export NO_UPDATES=true
# Push
if [ "$NO_UPDATES" != "true" ] ; then
git push "https://ci:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}" "HEAD:$GIT_BRANCH"
fi
git push origin "$branch"
gh pr create --title "$message" --body "$message"
fi

View file

@ -18,6 +18,8 @@ Installs Java, SDKMAN! (if not installed), and needed dependencies.
| Options Id | Description | Type | Default Value |
|-----|-----|-----|-----|
| version | Select or enter a Java version to install | string | lts |
| install_gradle | Install Gradle, a build automation tool for multi-language software development | boolean | - |
| install_maven | Install Maven, a management tool for Java | boolean | - |
---