Re: Tidying the DejaGnu Git repository

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