Re: Tidying the DejaGnu Git repository

[Shahab Vahedi]

Hi Jacob,

Jacob Bachmeyer wrote:
> Shahab Vahedi wrote:
>> I have cloned DejaGnu's codebase from the official repo. When I
>> wanted to push it to a Github account, it got rejected.
> 
> You should not be using GitHub anyway; it completely fails the GNU ethical 
> repository criteria because the site is almost completely nonfunctional 
> without running nonfree JavaScript.  As such, "GitHub does not like this" is 
> NOTABUG; it is completely irrelevant to GNU development.

For the record, I couldn't care less that Github did not like it. 
Unfortunately, it is forced upon me by my employer and is not my personal 
choice. Anyhow, I digress.

> the script offered would falsify the history by copying the commit timestamp 
> to the tag, which is not necessarily true, as the tag was probably made after 
> the commit.

Correct! The commit date was more like a heuristic approach with the data I had 
available.

> Any comments on this from the mailing list before I start altering some of 
> the repository index metadata?

Your proposed solution seems like a neater and more accurate approach, as long 
as it is executed.


Cheers,
Shahab