Re: gnulib is no longer an hg subrepo

[Kai Torben Ohlhus]

On 3/31/20 10:47 PM, "Markus Mützel" wrote:
> Am 27. Januar 2020 um 17:46 Uhr schrieb "John W. Eaton":
>> On 1/27/20 3:29 AM, "Markus Mützel" wrote:
>>> Am 27. Januar 2020 um 07:41 Uhr schrieb "John W. Eaton":
>>
>>>> That seems good to me.  We could maintain our own patched version of the
>>>> bootstrap script but it seems to me that it would be better to have
>>>> something like this added to the version that is provided in gnulib.
>>>
>>> Maybe we could patch our own version and see whether this works as expected 
>>> across different systems, version of git, etc.
>>> When (or if) we are confident that this is a good addition, we could donate 
>>> the change upstream.
>>
>> OK, I pushed your changes on stable and merged with default.  Then I 
>> updated gnulib on default (not sure whether we want to do that on stable 
>> just before the release?) and then ran bootstrap --bootstrap-sync 
>> followed by reapplying your changes to preserve them after the updates 
>> to the bootstrap script from gnulib.  Updating the bootstrap script from 
>> the gnulib version is now more difficult because we have to remember to 
>> reapply our local changes.  Thankfully, the gnulib bootstrap script 
>> doesn't appear to be changing much now.  But it would still be good to 
>> get this modification accepted in gnulib if it works out for us.  Let's 
>> see what happens with the buildbots when they get these changes.
> 
> We are using these changes since a couple of months now. So far no one was 
> complaining about them.
> Should we submit it upstream now (together with Mike's follow up fix)? Or 
> better wait until we actually moved to a newer gnulib revision and see if the 
> logic does what we expect on different systems?
> 
> In any case, I am not sure where this should be submitted. Does gnulib have a 
> tracker?
> 
> Markus
> 


Since that change I am really happy about Octave's repository, which is
much more manageable with local clones now.

According to the gnulib website [1], bugs should be reported to their
mailing list [2].

Kai

[1] https://www.gnu.org/software/gnulib/
[2] address@hidden