gitdist: use UTC time, use full date and time

This commit is contained in:
gutmet 2020-10-21 14:42:01 +02:00
parent f8761e4490
commit 29960db184

View File

@ -25,7 +25,7 @@ if [ "$leave" = true ]; then
exit 1 exit 1
fi fi
timestamp=`date +"%Y%m%d-%H%M"` timestamp=`date -u +"%F-%T"`
currentBranch=`git rev-parse --abbrev-ref HEAD` currentBranch=`git rev-parse --abbrev-ref HEAD`
if [ "$currentBranch" = "master" ]; then if [ "$currentBranch" = "master" ]; then