ci: format
This commit is contained in:
parent
1e2eaec728
commit
cbcdef875f
5 changed files with 2201 additions and 4 deletions
|
|
@ -42,9 +42,11 @@ Create a pull request from the current branch.
|
|||
If it fails, show the output and stop. Do NOT create the PR.
|
||||
|
||||
5. Push the branch:
|
||||
|
||||
```
|
||||
git push -u origin HEAD
|
||||
```
|
||||
|
||||
If GPG signing fails, retry with `--no-gpg-sign`.
|
||||
|
||||
6. Run exactly one Bash command:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue