[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [AUCTeX-devel] New release?

From: Ralf Angeli
Subject: Re: [AUCTeX-devel] New release?
Date: Sat, 20 Jul 2013 18:53:15 +0200

* Mosè Giordano (2013-07-19) writes:

> 2013/7/19 Ralf Angeli <address@hidden>:
>> Here are a few points that caught my eye:
>> -COMMITTER="David Kastrup  <address@hidden>"
>> +COMMITTER="`git config`  \<`git config`\>"
>> Those two commands return nothing if I execute them on the command line.
>> I'm a git novice, so I might have misconfigured it.  But at least `git
>> pull' works. (c:
> If those `git config' commands return nothing then you can pass
> `COMMITTER' values as a command line argument, as usual.  To setup
> those keys run
>     git config --global "John Doe"
>     git config --global address@hidden
> However, probably it's safer to obtain keys values with `--get' option.

Hm, git config --get did not get the user name.  I'll look
into this more closely when I have to make my commit with git which I
expect to fail.

>> +       git tag release_`echo $(TAG) | sed -e 's/[.]/_/g'`
>> +       rm ChangeLog.old
>> If you want to delete the old ChangeLog file is probably a matter of
>> taste.  When something goes wrong you'd have to edit the new ChangeLog
>> file and cannot just move the old one back in place.
> Ok, I'll remove the `rm', but you can bring back the previous
> ChangeLog with `git checkout HEAD^ ChangeLog'.

As I wrote, this is a matter of taste.  If you like the change, keep it.
I don't object to it.

> The attached patch should fix the problems you pointed out.

Great, thanks!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]