From de6a7f9d881ca95d0efba8da5d303c426b1a2b42 Mon Sep 17 00:00:00 2001
From: alschmiedt <aschmiedt@google.com>
Date: Tue, 21 Jan 2020 14:13:21 -0800
Subject: [PATCH] Add push to github pages after build (#3615)

---
 gulpfile.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gulpfile.js b/gulpfile.js
index bf71f928c..a77c68f50 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -984,6 +984,8 @@ gulp.task('git-create-rc', gulp.series([
       execSync('git checkout -b ' + branchName, { stdio: 'inherit' });
       execSync('git push ' + upstream_url + ' ' + branchName,
           { stdio: 'inherit' });
+      execSync('git checkout -b gh-pages');
+      execSync('git push ' + upstream_url + ' gh-pages');
       done();
     },
   ])