Skip to content

Instantly share code, notes, and snippets.

@KyMidd

KyMidd/asdf.sh Secret

Created March 21, 2023 16:12
Show Gist options
  • Select an option

  • Save KyMidd/a2c671346a201e32ea739fe02a8d70a8 to your computer and use it in GitHub Desktop.

Select an option

Save KyMidd/a2c671346a201e32ea739fe02a8d70a8 to your computer and use it in GitHub Desktop.
# Should we use admin privileges to merge PR.
# If true, admin privileges will be used to merge the PR. You must have admin privileges to use this option.
# If false, the PR will not be automatically merged. The URL will be written to the log, and you must merge them manually
auto_merge_pr=false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment