Joerg Jaspert pushed to branch master at Debian FTP Team / dak
Commits:
-
f81893cd
by Joerg Jaspert at 2018-04-07T17:52:36+02:00
1 changed file:
Changes:
1 | 1 |
# -*- mode:sh -*-
|
2 | 2 |
|
3 | 3 |
function fetch_updates() {
|
4 |
- GIT_DIR=${masterdir}/.git git fetch origin
|
|
4 |
+ cd ${masterdir}/
|
|
5 |
+ local beforefetch=$(git rev-parse origin/deploy)
|
|
6 |
+ git fetch origin
|
|
7 |
+ local afterfetch=$(git rev-parse origin/deploy)
|
|
8 |
+ if [[ ${beforefetch} == ${afterfetch} ]]; then
|
|
9 |
+ exit 0
|
|
10 |
+ fi
|
|
5 | 11 |
}
|
6 | 12 |
|
7 | 13 |
function find_commitids() {
|