<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 20, 2016 at 12:57 PM, Paul Eggert <span dir="ltr">&lt;<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">This is not quite the same as a distribution tarball, though, as it omits automatically-generated files (e.g., &#39;leapseconds&#39;, &#39;version&#39;) and it contains a file that is not distributed (&#39;.gitignore&#39;).</blockquote></div><br>You may want to start using Github &quot;release&quot; feature to host semi-official tar-balls:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><a href="https://help.github.com/articles/creating-releases/">https://help.github.com/articles/creating-releases/</a><br></div></div>