better title for PR

pull/11723/head
Sharif Elgamal 2021-06-22 12:27:14 -07:00
parent 74635e495a
commit 269514601b
1 changed files with 1 additions and 1 deletions

View File

@ -49,5 +49,5 @@ if [ "$changes" != "" ]; then
git remote add minikube-bot https://minikube-bot:$access_token@github.com/minikube-bot/minikube.git
git push -u minikube-bot $branch
gh pr create --base master --head minikube-bot:$branch --title "Update generate-docs" --body "Committing changes resulting from \`make generate-docs\`"
gh pr create --base master --head minikube-bot:$branch --title "Update auto-generated docs and translations" --body "Committing changes resulting from \`make generate-docs\`"
fi