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
