From 49e2f033083932ccc474fcdf3459e0934ba2bed1 Mon Sep 17 00:00:00 2001 From: Justin Santa Barbara Date: Tue, 10 Oct 2017 06:30:33 -0400 Subject: [PATCH] Release docs update git push command The command to push to the release branch was wrong, which meant the release branch wasn't getting updated. --- docs/development/release.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/development/release.md b/docs/development/release.md index daad36aaee..be9cf0c14d 100644 --- a/docs/development/release.md +++ b/docs/development/release.md @@ -73,7 +73,7 @@ git push --tags For the time being, we are also maintaining a release branch. We push released versions to that. -`git push origin release` +`git push origin release-1.7:release` ## Upload to github