Can the automatic daily update commits be stopped?

[H.J. Lu]

On Tue, Jan 6, 2015 at 5:08 AM, Andreas Schwab <schwab@linux-m68k.org> wrote:
> Joel Brobecker <brobecker@adacore.com> writes:
>
>> Instead of using the date, how about we use the SHA1, or else
>> the output of "git describe".
>
> The latter won't quite work before the release or on master, since there
> is no related tag.
>
> $ git describe --tags origin/master
> readline_4_0-82304-g533d0af
>

We can use

[hjl@gnu-tools-1 binutils-gdb]$ echo "on $(git name-rev --name-only
HEAD) commit $(git log -1 --pretty=%H)"
on master commit 533d0af0b8a8127b6f189222fc57aa11ce7aab2c
[hjl@gnu-tools-1 binutils-gdb]$

for version.  We add remote git repo URL with

[hjl@gnu-tools-1 binutils-gdb]$ git remote -v | grep fetch | awk '{ print $2}'
ssh://hjl@sourceware.org/git/binutils-gdb.git
[hjl@gnu-tools-1 binutils-gdb]$

-- 
H.J.