Changeset 1898cc8 for docs

Timestamp:

Apr 10, 2012, 7:38:08 PM (14 years ago)

Author:

Alex Dehnert <adehnert@…>

Branches:

master, space-access, stable, stage

Children:

f37bfb1

Parents:

a7d30ef

git-author:

Alex Dehnert <adehnert@…> (04/10/12 19:38:08)

git-committer:

Alex Dehnert <adehnert@…> (04/10/12 19:38:08)

Message:

Fix the push command

I changed my git config such that the branch needs to be mentioned explicitly.

File:

• docs/deploy.txt (modified) (1 diff)

docs/deploy.txt

@@ -9 +9 @@
 * run locally:
     git checkout stable; git merge master; git checkout master
-    git push
+    git push origin master stable
 * run on server
     git pull --ff-only