release docs: Fix git push command for the release tag
#814
| Job | Run time |
|---|---|
| 2m 56s | |
| 3m 21s | |
| 5m 9s | |
| 4m 30s | |
| 4m 13s | |
| 4m 14s | |
| 24m 23s |
git push command for the release tag
#814
| Job | Run time |
|---|---|
| 2m 56s | |
| 3m 21s | |
| 5m 9s | |
| 4m 30s | |
| 4m 13s | |
| 4m 14s | |
| 24m 23s |