diff --git a/docs/release_process.md b/docs/release_process.md index 73599aa673..840b7f4d62 100644 --- a/docs/release_process.md +++ b/docs/release_process.md @@ -19,14 +19,14 @@ successful release. 4. Tag and push the release to git. - # git tag - # git push --tags + git tag + git push --tags 5. Create and push a release branch to git. - # git branch release_ - # git checkout release_ - # git push origin release_ + git branch release_ + git checkout release_ + git push origin release_ Monitor Jenkins ---------------