1 |
|
2 |
|
3 | # Prepublish checks
|
4 |
|
5 | set -e
|
6 |
|
7 | REPO=js-modules
|
8 |
|
9 | # Make sure that the local branch tip revision is the same
|
10 | # as upstream master.
|
11 | LOCAL_TIP=$(git rev-parse HEAD)
|
12 | REMOTE_TIP=$(git ls-remote https://github.com/jenkinsci/$REPO master | awk '{ print $1 }')
|
13 |
|
14 | if [ $LOCAL_TIP != $REMOTE_TIP ]
|
15 | then
|
16 | echo Local git tip $LOCAL_TIP is not the same as upstream remote master tip $REMOTE_TIP. You must push upstream before you can publish.
|
17 | exit 1
|
18 | fi |
\ | No newline at end of file |