1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/.github
Jean Pierre Dudey 33539f137a
Merge pull request #16428 from bergzand/pr/readme/remove_ml
Documentation: Remove mentions of the users@ and devel@ mailing lists.
2021-05-12 13:44:07 +02:00
..
ISSUE_TEMPLATE github/bug_report.md: Remove users@ and devel@ 2021-05-12 11:41:25 +02:00
workflows Merge pull request #15978 from miri64/riotctrl_ctrl/enh/native_reset 2021-05-04 13:48:18 +02:00
PULL_REQUEST_TEMPLATE.md github/pr: add missing newline at end of file 2018-08-22 13:26:08 +02:00
stale.yml stale: only apply to PRs 2019-10-01 12:04:52 +02:00