pepperplus/pepperplus-ri
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Merge dev with main #27

Merged
8464960 merged 89 commits from dev into main 2026-01-28 10:54:23 +00:00
Conversation 2 Commits 89 Files Changed 49 +4157 -134
8464960 commented 2026-01-28 09:38:13 +00:00 (Migrated from git.science.uu.nl)
Copy Link

This merge contains the entire project for RI.

We have already reviewed the code to put it on dev, so it should not require extra verification.

This merge contains the entire project for RI. We have already reviewed the code to put it on dev, so it should not require extra verification.
k.marinus commented 2026-01-28 10:53:16 +00:00 (Migrated from git.science.uu.nl)
Copy Link

added 2 commits

Compare with previous version

added 2 commits <ul><li>aad2044b - 1 commit from branch <code>main</code></li><li>fb0d7850 - Merge branch &#39;main&#39; into dev</li></ul> [Compare with previous version](/ics/sp/2025/n25b/pepperplus-ri/-/merge_requests/27/diffs?diff_id=138048&start_sha=da97eb8a1a5b3ce10e10c695cb2b32833696ed75)
k.marinus (Migrated from git.science.uu.nl) merged commit ad58b16559 into main 2026-01-28 10:54:23 +00:00
k.marinus commented 2026-01-28 10:54:28 +00:00 (Migrated from git.science.uu.nl)
Copy Link

mentioned in commit ad58b16559

mentioned in commit ad58b165598854aac54a58c58a2eb88484c1f501
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
kasper twirre pepperplus
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pepperplus/pepperplus-ri#27
Delete Branch "dev"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?