release docs: Fix git push command for the release tag
#81
| Job | Run time |
|---|---|
| 11s | |
| 11s |
git push command for the release tag
#81
| Job | Run time |
|---|---|
| 11s | |
| 11s |