chiark / gitweb /
server/: Post-merge fixup.
[tripe] / maint-utils / make-bleeding
CommitLineData
46fe1b1d
MW
1#! /bin/sh
2
3set -e
4bleeding="python privsep"
5for i in $bleeding; do
6 git checkout $i
7 stg rebase master
8done
9git branch -D bleeding
10git checkout -b bleeding master
11git merge $bleeding