Closed bennibolm closed 5 months ago
This checklist is meant to assist creators of PRs (to let them know what reviewers will typically look for) and reviewers (to guide them in a structured review process). Items do not need to be checked explicitly for a PR to be eligible for merging.
NEWS.md
.Created with :heart: by the Trixi.jl community.
I don't really know if this change is wanted but for me, it was annoying to update all the numbers when adding a new tutorial. Also, the numbering within the tutorials is automatic as well using the preprocessing step from here.
Oh, just realized (again) that auto-merge doesn't work here. Please be so nice and merge it @sloede :smile:
Right now, when someone wants to add a new tutorial, he has to update all following numbers within the introduction. This is done for instance in this PR.
The new preprocessing step automates the numbering.