Commit Graph

3 Commits

Author SHA1 Message Date
Leonard Sheng Sheng Lee
70e81df281 ci/github-script/reminders: improve style guide reminder
(cherry picked from commit ec81376b20)
2026-10-11 20:35:13 +00:00
Victor Engmark
fbc042c0ac ci/github-script/docs-styleguide: Use more common spelling of "style guide"
See
[trend](https://trends.google.com/explore?q=styleguide%2Cstyle%2520guide&date=all&geo=Worldwide)
for one indication that the new spelling is much more common.

Conflicts not backported:
  doc/README.md
  doc/styleguide.md

These files have diverged on master vs 26.05.

Not-cherry-picked-because: only backporting CI changes from 795f334f07
2026-09-28 14:20:20 +01:00
Johannes Kirschbauer
97cf7b465d ci: post a reminder for updated paths
docs are the first example

Assisted-by: Oh My Pi (Claude Opus 5)
(cherry picked from commit 40bb73107d)
2026-09-22 13:07:39 +00:00