mirror of
https://github.com/dlang/dmd.git
synced 2025-04-25 20:50:41 +03:00
Fix force push command in ci/README
This commit is contained in:
parent
ab5c73e435
commit
a8b8860cfb
1 changed files with 1 additions and 1 deletions
|
@ -48,7 +48,7 @@ Current branch your-branch is up to date.
|
|||
If you still want to re-run the checks, you can amend your last commit and force push:
|
||||
```
|
||||
git commit --amend
|
||||
git push origin master --force
|
||||
git push --force origin your-branch
|
||||
```
|
||||
|
||||
When an unrelated failure persists, ask a maintainer for help.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue