diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-11-02 19:10:03 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-11-02 19:48:49 +0100 |
| commit | 2c4a1fc5df1faf34f3c2be74fee0f99b838cda50 (patch) | |
| tree | 6143dc8ab937b7710a9a223b26c80bc2a990785a /scripts/common | |
| parent | c0eff977c481b9235e5f0a411ef36787027172cf (diff) | |
| download | dotty-2c4a1fc5df1faf34f3c2be74fee0f99b838cda50.tar.gz dotty-2c4a1fc5df1faf34f3c2be74fee0f99b838cda50.tar.bz2 dotty-2c4a1fc5df1faf34f3c2be74fee0f99b838cda50.zip | |
Use absolute dates in Jenkins git-log.
Diffstat (limited to 'scripts/common')
| -rwxr-xr-x | scripts/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/common b/scripts/common index c938d342f..77da64d83 100755 --- a/scripts/common +++ b/scripts/common @@ -10,7 +10,7 @@ update() { (git fetch "https://github.com/$1/$2.git" $4 && git checkout -fq FETCH_HEAD) #|| git checkout -fq $4 # || fallback is for local testing on tag git reset --hard echo updated $1/$2:$4 under $3. Last commits: - git log --pretty=format:"%h - %an, %ar : %s" -n 10 # show last commits + git log --pretty=format:"%h - %an, %aD : %s" -n 10 # show last commits cd - } |