Merge pull request #4626 from pangeachat/merge-prod-into-main

Merge prod into main
This commit is contained in:
ggurdin 2025-11-07 09:41:26 -05:00 committed by GitHub
commit 3297efa5dc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 1 deletions

View file

@ -143,6 +143,14 @@ class CourseChatsController extends State<CourseChats>
continue;
}
// If any user has archived the activity, don't show it.
// It's possible for users to finish an activity and then for some of the
// users to leave, but if the activity was archived by anyone, that means
// it was full at some point.
if (summary.activityRoles.roles.values.any((role) => role.isArchived)) {
continue;
}
sessionsMap[activity] ??= [];
sessionsMap[activity]!.add(
ExtendedSpaceRoomsChunk(

View file

@ -6,7 +6,7 @@ description: Learn a language while texting your friends.
# Pangea#
publish_to: none
# On version bump also increase the build number for F-Droid
version: 4.1.15+2
version: 4.1.15+3
environment:
sdk: ">=3.0.0 <4.0.0"