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

feat: merged demo into dev #43

Merged
j.gerla merged 61 commits from demo into dev 2026-01-20 11:11:09 +00:00
Conversation 4 Commits 61 Files Changed 58 +5592 -489
j.gerla commented 2026-01-20 10:58:50 +00:00 (Migrated from git.science.uu.nl)
Copy Link

merged demo into dev

merged demo into dev
j.gerla commented 2026-01-20 10:58:50 +00:00 (Migrated from git.science.uu.nl)
Copy Link

assigned to @j.gerla

assigned to @j.gerla
j.gerla commented 2026-01-20 10:59:26 +00:00 (Migrated from git.science.uu.nl)
Copy Link

approved this merge request

approved this merge request
j.gerla (Migrated from git.science.uu.nl) merged commit 6f4471ce6f into dev 2026-01-20 11:11:09 +00:00
j.gerla commented 2026-01-20 11:11:10 +00:00 (Migrated from git.science.uu.nl)
Copy Link

mentioned in commit 6f4471ce6f

mentioned in commit 6f4471ce6f240187689f7a579a11bf9270e2fa76
j.gerla (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:31:15 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
j.gerla
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#43
Delete Branch "demo"

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?