Some PR's only change generated HTML

[maueroats]

PR #59 did not edit the source markdown, only the generated html.
PR #71 only edits generated files.

This is going to be a problem next time somebody regenerates the files.

I would think think the policy should be only accept PR's that edit the markdown (possibly in addition to html?).

Do you want the html-only PR's backported to markdown? I think yes. Maybe I will take the time to clean up the issue.

The contributor's PR template could be adjusted to include a note about making sure to edit markdown.

[ulysses4ever]

I think the Markdown files aren't used for anything currently. The website just renders the existing HTML.

[maueroats]

(Apologies if you are an experienced contributor.)

The HTML files (are|can be) manually generated from the Markdown sources using the generate.sh script inside the Markdown folder.

Searching the git log for "generate" shows that this looks like an ongoing issue. See March 14 and 21 of this year.

Now that I looked for it, I see how things are handled (= process could be better, but we're just making small changes/fixes, I guess).

[maueroats]

I guess the git merge process will take care of not losing the differences, but that seems less than ideal.

[ulysses4ever]

I may be wrong, sorry!