New mklog script

[Martin Liška]

On 5/26/20 3:11 PM, Richard Earnshaw wrote:
> On 26/05/2020 14:09, Martin Liška wrote:
>> On 5/26/20 1:18 PM, Richard Earnshaw wrote:
>>> On 26/05/2020 12:14, Martin Liška wrote:
>>>> On 5/26/20 12:23 PM, Richard Earnshaw wrote:
>>>>> I thought we had a convention that aliases we added were prefixed with
>>>>> 'gcc-'?  This seems to go against that.
>>>>
>>>> You are right, but this one is so handy ;)
>>>> What name do you suggest?
>>>>
>>>> Martin
>>>
>>> gcc-ci?
>>
>> What the abbreviation stands for?
>>
>> Martin
>>
>>>
>>> R.
>>>
>>
> 
> CheckIn
> 
> For those who come from the SVN days where ci was the standard
> abbreviation for committing :-)

Ah, I see. Anyway, I prefer the original name even though it violates
the naming policy.

Let other express their preferences (Jason?).

Martin

> 
> R.
>