Bump the dotnet version after a script update (#707)

* Bump the dotnet version after a script update

* Forgot to add file

* Keep 4 spaces indentation
This commit is contained in:
Steven 2023-09-28 19:50:20 +02:00 committed by GitHub
parent 0599c63f8f
commit 803ec6e0e5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -35,8 +35,11 @@ jobs:
git add src/dotnet/scripts/vendor/dotnet-install.sh
git commit -m 'Automated dotnet-install script update' || export NO_UPDATES=true
# Push
# Bump version and push
if [ "$NO_UPDATES" != "true" ] ; then
echo "$(jq --indent 4 '.version = (.version | split(".") | map(tonumber) | .[2] += 1 | join("."))' src/dotnet/devcontainer-feature.json)" > src/dotnet/devcontainer-feature.json
git add src/dotnet/devcontainer-feature.json
git commit -m 'Bump version'
git push origin "$branch"
gh api \
--method POST \