diff --git a/develop/admin/index.html b/develop/admin/index.html index 3b4fadce3..597fb762b 100644 --- a/develop/admin/index.html +++ b/develop/admin/index.html @@ -764,5 +764,5 @@

Release Documentation

\ No newline at end of file diff --git a/develop/commit b/develop/commit index dcc250ff7..c8ef5e6e7 100644 --- a/develop/commit +++ b/develop/commit @@ -1,5 +1,25 @@ -commit 6aa663a0254f84490c40997bc22b0d8de67ed56d +commit 9df6b01875b43296b605c463b53e94ad15f068ff Author: Lars Kiesow -Date: Sun Dec 29 16:14:59 2024 +0100 +Date: Sun Dec 29 17:53:59 2024 +0100 - Merge r/17.x into develop + Document GitHub Discussions on Docs Landing Page (#6393) + + This patch updates the landing page of docs.opencast.org to add GitHub + Discussions as new location for discussions and questions about + Opencast. + + ### Your pull request should… + + * [x] have a concise title + * [x] [close an accompanying + issue](https://docs.opencast.org/develop/developer/#participate/development-process/#automatically-closing-issues-when-a-pr-is-merged) + if one exists + * [x] [be against the correct + branch](https://docs.opencast.org/develop/developer/development-process#acceptance-criteria-for-patches-in-different-versions) + * [x] include migration scripts and documentation, if appropriate + * [x] pass automated tests + * [x] have a clean commit history + * [x] [have proper commit messages (title and body) for all + commits](https://medium.com/@steveamaza/e028865e5791) + * [x] explain why it needs to be merged into the legacy branch, if it is + targeting the legacy branch diff --git a/develop/developer/index.html b/develop/developer/index.html index e2dc39f44..a15d333ec 100644 --- a/develop/developer/index.html +++ b/develop/developer/index.html @@ -386,5 +386,5 @@

Opencast Development Guides

\ No newline at end of file diff --git a/index.html b/index.html index 3436adedb..88c9a459e 100644 --- a/index.html +++ b/index.html @@ -401,21 +401,18 @@

-

Mailing lists

-

Discussions take place on several mailing lists:

+

Discussions

+

Discussions take place on GitHub:

+ +

There are also a few additional Google Groups mailing lists:

- You can subscribe via Google Groups (linked above) or simply by sending a mail to - [list]+subscribe@opencast.org (e.g. users+subscribe@opencast.org). + You can subscribe via Google Groups (linked above) or simply by sending an e-mail to + [list]+subscribe@opencast.org (e.g. lms+subscribe@opencast.org).