blob: fcc32be9397bedbc4131e326e84a18b37ceb371a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/sh
if [ -z "$1" ]; then
git checkout master
git pull upstream master
git push
git checkout fly
git merge --no-edit master
git push
else
for dir ; do
git -C "$dir" checkout master
git -C "$dir" pull upstream master
git -C "$dir" push
git -C "$dir" checkout fly
git -C "$dir" merge --no-edit master
git -C "$dir" push
done
fi
|
