summaryrefslogtreecommitdiff
path: root/tools/push
blob: bee269344eeed830c68c16d922138970e52d5edb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/sh

set -e

(cd plan/data; git push)
(cd plan; git commit -a -m "Update TODO files" && git push)
git checkout master
git merge --no-ff next
git checkout next
git rebase master
git push
git checkout master
./acprep opt upload
mv *.dmg* build
git checkout next