Skip to content
GitLab
Explore
Sign in
Merging develop into main
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Merging develop into main
jurgenhaas
requested to merge
develop
into
main
Jan 31, 2025
Overview
0
Commits
4
Pipelines
1
Changes
122
Bump upstream versions
Issue #3502614: Add a service user to settings and an action to switch to it
Add new plugins
Update sample model 0004
Merge request reports
Loading