We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b53cca0 commit 0bbe568Copy full SHA for 0bbe568
1 file changed
bin/deploy.sh
@@ -13,12 +13,18 @@ git init
13
git config user.name "gossi"
14
git config user.email "github@gos.si"
15
16
+echo "Add upstream:"
17
git remote add upstream "https://$GH_TOKEN@github.com/gossi/php-code-generator.git"
18
+echo "Fetch upstream:"
19
git fetch upstream
20
+echo "Reset to gh-pages:"
21
git reset upstream/gh-pages
22
23
touch .
24
25
+echo "Add everything new:"
26
git add -A .
27
+echo "Commit:"
28
git commit -m "rebuild pages at ${rev}"
29
+echo "Push:"
30
git push upstream HEAD:gh-pages
0 commit comments