Skip to content

Conversation

@mgovers
Copy link
Member

@mgovers mgovers commented Feb 6, 2025

Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
@mgovers mgovers added do-not-merge This should not be merged documentation Improvements or additions to documentation labels Feb 6, 2025
@mgovers mgovers self-assigned this Feb 6, 2025
mgovers and others added 3 commits February 6, 2025 15:38
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
@sonarqubecloud
Copy link

sonarqubecloud bot commented Feb 6, 2025

@mgovers mgovers removed the do-not-merge This should not be merged label Feb 6, 2025
@mgovers mgovers marked this pull request as ready for review February 6, 2025 15:05
@jaapschoutenalliander jaapschoutenalliander merged commit 000be44 into main Feb 6, 2025
20 of 21 checks passed
@jaapschoutenalliander jaapschoutenalliander deleted the feature/add-citations branch February 6, 2025 19:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants