From 9e982f225dc08a8dd5abe0955e628ab8f7b4eccf Mon Sep 17 00:00:00 2001
From: overdodactyl <pjohns33@protonmail.com>
Date: Sun, 25 Feb 2018 18:59:35 -0700
Subject: [PATCH] add gulp push

---
 gulpfile.js | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index c0891ae..2c59228 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -80,10 +80,9 @@ gulp.task('publish', ['remove_UUIDs', 'minify_base_code', 'userChrome', 'userCon
     }));
 });
 
-/* userContent file with no addons */
-gulp.task('test', function() {
-  return gulp.src(['color_variables.css', 'common-files/*.css', 'userContent-files/*.css'])
-    .pipe(exec('sh remove_UUIDs.sh'))
-    .pipe(concatCss('userContent_no_addons.css'))
-    .pipe(gulp.dest('./alternative_user_files'));
+/* Gulp Push - used to push to GitHub and re-add internal UUIDs */
+gulp.task('push', function() {
+  return gulp.src('.')
+    .pipe(exec('git push'))
+    .pipe(exec('sh add_UUIDs.sh'))
 });