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

Merging dev into main #49

Merged
8464960 merged 260 commits from dev into main 2026-01-28 10:48:52 +00:00
Conversation 3 Commits 260 Files Changed 145 +27038 -93
8464960 commented 2026-01-28 09:50:10 +00:00 (Migrated from git.science.uu.nl)
Copy Link

This contains all our features.

Code should have been checked already, so probably does not require much extra verifcation.

This contains all our features. Code should have been checked already, so probably does not require much extra verifcation.
9828273 commented 2026-01-28 10:16:03 +00:00 (Migrated from git.science.uu.nl)
Copy Link

added 2 commits

  • 835de03a - Add experiment logs to the monitoring page
  • 60f7bad5 - Merge branch 'feat/experiment-logs' into 'dev'

Compare with previous version

added 2 commits <ul><li>835de03a - Add experiment logs to the monitoring page</li><li>60f7bad5 - Merge branch &#39;feat/experiment-logs&#39; into &#39;dev&#39;</li></ul> [Compare with previous version](/ics/sp/2025/n25b/pepperplus-ui/-/merge_requests/49/diffs?diff_id=138031&start_sha=78901ee25b34906b351b06a2f0896912c7369559)
j.gerla commented 2026-01-28 10:34:38 +00:00 (Migrated from git.science.uu.nl)
Copy Link

added 2 commits

  • eb5a6cdd - chore: added copyright strings and removed template page
  • 9e06bf07 - Merge branch 'chore/adding-uu-strings' into 'dev'

Compare with previous version

added 2 commits <ul><li>eb5a6cdd - chore: added copyright strings and removed template page</li><li>9e06bf07 - Merge branch &#39;chore/adding-uu-strings&#39; into &#39;dev&#39;</li></ul> [Compare with previous version](/ics/sp/2025/n25b/pepperplus-ui/-/merge_requests/49/diffs?diff_id=138046&start_sha=60f7bad5d15efeb79bf9fc5636274320a0d40863)
k.marinus commented 2026-01-28 10:48:56 +00:00 (Migrated from git.science.uu.nl)
Copy Link

mentioned in commit 378a64c7ca

mentioned in commit 378a64c7cacb3e5384b45bdb0a04b2e4c69987e3
k.marinus (Migrated from git.science.uu.nl) merged commit 378a64c7ca into main 2026-01-28 10:48:56 +00:00
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-ui#49
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?