diff --git a/r/13.x/admin/index.html b/r/13.x/admin/index.html index 498bc4e45..e86868b63 100644 --- a/r/13.x/admin/index.html +++ b/r/13.x/admin/index.html @@ -806,5 +806,5 @@

Release Documentation

\ No newline at end of file diff --git a/r/13.x/admin/sitemap.xml.gz b/r/13.x/admin/sitemap.xml.gz index d39b61227..1cd02d724 100644 Binary files a/r/13.x/admin/sitemap.xml.gz and b/r/13.x/admin/sitemap.xml.gz differ diff --git a/r/13.x/commit b/r/13.x/commit index 688be4eb5..2be12cb3d 100644 --- a/r/13.x/commit +++ b/r/13.x/commit @@ -1,5 +1,32 @@ -commit 7674b32b51efb6f55ae20a24e15a118149509296 +commit f556af8e658f9f06a49bccd235ae4a80cf7d4073 Author: Matthias Neugebauer -Date: Wed Nov 15 19:17:14 2023 +0100 +Date: Tue Dec 12 17:28:58 2023 +0100 - Add release notes for Opencast 13.13 + Fix update translations workflow (#5475) + + The update translations workflow always reaches three release branches + into the past to ensure all edge cases are covered. That means `r/15.x`, + `r/14.x` and `r/13.x` are updated right now. + + Unfortunately, `r/13.x` still has a now invalid Crowdin configuration + which causes the workflow to fail. This will continue until mid 2024. + + See + https://github.com/opencast/opencast/actions/workflows/update-translations.yml + + That's annoying and therefor, this pull request updates the + configuration in `r/13.x` to ensure the update does not fail any longer. + + ### Your pull request should… + + * [x] have a concise title + * [x] [close an accompanying + issue](https://help.github.com/en/articles/closing-issues-using-keywords) + 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) diff --git a/r/13.x/developer/index.html b/r/13.x/developer/index.html index e71957963..f6c7a0a35 100644 --- a/r/13.x/developer/index.html +++ b/r/13.x/developer/index.html @@ -422,5 +422,5 @@

Opencast Development Guides

\ No newline at end of file diff --git a/r/13.x/developer/sitemap.xml.gz b/r/13.x/developer/sitemap.xml.gz index 7273d236c..910fddaf9 100644 Binary files a/r/13.x/developer/sitemap.xml.gz and b/r/13.x/developer/sitemap.xml.gz differ