Enable auto-merge for Dependabot PRs

docs/tutorial.md: introduce both long and short names of each option #4007

Sign in to view logs

Triggered via pull request October 23, 2023 09:48

gasche

synchronize #2415

gasche:tutorial-show-long-option-names

Status Skipped

Total duration 3s

Artifacts –

dependabot.yml

on: pull_request

Dependabot auto-merge