Skip to content

doc: remove and replace deprecated mailing lists#21285

Merged
OlegHahm merged 1 commit intoRIOT-OS:masterfrom
miri64:doc/enh/rm-deprecated-lists
Mar 11, 2025
Merged

doc: remove and replace deprecated mailing lists#21285
OlegHahm merged 1 commit intoRIOT-OS:masterfrom
miri64:doc/enh/rm-deprecated-lists

Conversation

@miri64
Copy link
Copy Markdown
Member

@miri64 miri64 commented Mar 11, 2025

Contribution description

Those lists are long gone (I think).

Testing procedure

Issues/PRs references

@miri64 miri64 requested a review from jia200x as a code owner March 11, 2025 13:27
@github-actions github-actions bot added the Area: doc Area: Documentation label Mar 11, 2025
@OlegHahm OlegHahm enabled auto-merge March 11, 2025 13:37
@crasbe crasbe added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Mar 11, 2025
@riot-ci
Copy link
Copy Markdown

riot-ci commented Mar 11, 2025

Murdock results

✔️ PASSED

b231170 doc: remove and replace deprecated mailing lists

Success Failures Total Runtime
1 0 1 01m:16s

Artifacts

@OlegHahm OlegHahm added this pull request to the merge queue Mar 11, 2025
Merged via the queue into RIOT-OS:master with commit 26ca217 Mar 11, 2025
27 checks passed
@miri64 miri64 deleted the doc/enh/rm-deprecated-lists branch March 11, 2025 17:14
@mguetschow mguetschow added this to the Release 2025.04 milestone Apr 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants