Skip to content
Snippets Groups Projects

Add documentation for developing workflows

Merged Tobias Arens requested to merge add_dev_docs into master
All threads resolved!

Migrate the old gitlab wikipages about developing to the new documentation. I inserted the pages under contribute -> contributing to source code.

Merge request reports

Pipeline #141903 passed

Pipeline passed for 9577c789 on add_dev_docs

Approved by

Merged by Tobias ArensTobias Arens 10 months ago (May 8, 2024 9:52am UTC)

Merge details

  • Changes merged into master with 9439addd (commits were squashed).
  • Did not delete the source branch.
  • Auto-merge enabled

Pipeline #142644 passed

Pipeline passed for 9439addd on master

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
Loading