summaryrefslogtreecommitdiff
path: root/tools/push
blob: 2f025e96744b7037b509f94e015bec413737d67c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#!/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
./acprep upload