Changes to "Contribution Checklist" -- Format of the contribution.

[Joseph Myers]

On Thu, 14 Feb 2019, Florian Weimer wrote:

> Should we move the contribution checklist to Git, so that it we can
> maintain it more easily?

I think documentation belongs in git *when it is tied to a particular 
version of the source tree* (and so people working with an older source 
tree version should be using the corresponding version of the 
documentation).  So documentation of the source tree structure belongs in 
git (much of maint.texi is unfortunately rather out of date), but 
descriptions of process for contributing do not.

-- 
Joseph S. Myers
joseph@codesourcery.com