docs(push): update docs for the push parameter

This commit is contained in:
Federico Grandi
2020-11-11 18:15:00 +01:00
parent b36969554e
commit c0c96adb24
2 changed files with 5 additions and 1 deletions

View File

@@ -42,6 +42,10 @@ Add a step like this to your workflow:
# Default: '--no-rebase'
pull_strategy: '--no-rebase or --no-ff or --rebase'
# Whether to push the commit and, if any, its tags to the repo (only `true` and `false` are accepted)
# Default: true
push: false
# The arguments for the `git rm` command (see the paragraph below for more info)
# Default: ''
remove: "./dir/old_file.js"

View File

@@ -27,7 +27,7 @@ inputs:
required: false
default: '--no-rebase'
push:
description: Whether to push the commit to the repo
description: Whether to push the commit and, if any, its tags to the repo
required: false
remove:
description: Arguments for the git rm command