On Wed, May 24, 2017, at 11:22 AM, Jan Pokorný wrote: > Nope, the point is that nothing has changed in the codebase or, for > that matter, tags. It must have been GitHub that changed how its > equivalent of "git archive" behaves. Yep, that's happened in the past, obviously just happened again, and likely will in the future. I suggest use of: https://github.com/cgwalters/git-evtag And yes, really need to upstream it into git. But in the short term what we should be doing in my opinion is ignoring tarballs and mirroring git repos - we can compute git-evtag locally as well, and that replaces the tarball hash. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
