On Sat, 15 Sep 2018 at 20:05, Paul Eggert <eggert@cs.ucla.edu> wrote:
Jon Skeet wrote:
I was suggesting it because it's easier to see changes via the GitHub UI than in a patch in an email.
Hmm, I see your point. However, I'd rather not depend on GitHub-specific features, as I don't want to tie the development version to GitHub (we may want to move it to iana.org, for example). The patch format I'm using is the Git standard and many tools are available to process it, so readers preferring alternate views have many options. For example, if you're using Thunderbird there's the Colored Diffs add-on <https://addons.thunderbird.net/en-us/thunderbird/addon/colored-diffs/>, not that I've ever used it (I prefer reading the standard format).
Anyone who wants to use normal Git tools would be able to use it more easily from a clone of the GitHub repo than from a patch file, I'd say. It's not like using GitHub *prevents* anyone from using regular git tools - it makes it easier to do so than downloading a patch from an email and then processing that, IMO. The ability to view the change on the GitHub UI is simply an added bonus which presents it in a friendly manner without downloading *anything* locally (and certainly without suggesting using a specific mail reader, which I'd consider rather more intrusive than visiting a web page). But anyway, I've made my suggestion, and of course you're entirely within your rights to reject it. Jon