Skip to content
Snippets Groups Projects

Merging develop into main

Merged Merging develop into main
develop into main
Merged jurgenhaas requested to merge develop into main

Merge request reports

Merged by jurgenhaasjurgenhaas 9 months ago (Jun 11, 2024 6:56am UTC)

Merge details

  • Changes merged into with 2f08f765.
  • Did not delete the source branch.

Pipeline #1243882 passed

Stage: release

Pipeline passed for 2f08f765 on main

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply