do_merge: output the date in mail like format

to be more explicit about the time zone

diff --git a/do_merge b/do_merge
index 0dfa7d52c7947611f7f29af446dc7e9408ac3cdb..10ba5cf33c8e7964a72596164aa6aad6b351793f 100755 (executable)
--- a/do_merge
+++ b/do_merge
@@ -83,7 +83,7 @@ do_rebase()
 
 [ -n "$start_from" ] || {
        cp /dev/null $LOG_FILE
-       execute date
+       execute date -R
        execute git checkout master
        execute git reset --hard stable
        printf 'Name\t\tSHA1\n----\t\t----\n' > $SHA1_FILE