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

Merge request pipeline #513886 passed

Stage: test

Merge request pipeline passed for f8513622

Approval is optional

Merged by jurgenhaasjurgenhaas 2 years ago (Jun 2, 2022 2:05pm UTC)

Merge details

  • Changes merged into main with 9c780eec.
  • Did not delete the source branch.

Pipeline #513910 passed

Stage: test

Pipeline passed for 9c780eec 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