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

Chore/remove critical norm #55

Merged
8464960 merged 3 commits from chore/remove-critical-norm into main 2026-01-30 11:59:08 +00:00
Conversation 4 Commits 3 Files Changed 2 +30 -10
8464960 commented 2026-01-30 11:56:18 +00:00 (Migrated from git.science.uu.nl)
Copy Link

critical norm is removed from UI

critical norm is removed from UI
8464960 commented 2026-01-30 11:57:00 +00:00 (Migrated from git.science.uu.nl)
Copy Link

assigned to @8464960

assigned to @8464960
k.marinus commented 2026-01-30 11:59:00 +00:00 (Migrated from git.science.uu.nl)
Copy Link

approved this merge request

approved this merge request
k.marinus (Migrated from git.science.uu.nl) scheduled this pull request to auto merge when all checks succeed 2026-01-30 11:59:02 +00:00
k.marinus commented 2026-01-30 11:59:08 +00:00 (Migrated from git.science.uu.nl)
Copy Link

mentioned in commit 7deecaa160

mentioned in commit 7deecaa16064a22a8c63745958fbce50834ffedd
k.marinus (Migrated from git.science.uu.nl) merged commit 7deecaa160 into main 2026-01-30 11:59:08 +00:00
k.marinus (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:31:14 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
k.marinus
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#55
Delete Branch "chore/remove-critical-norm"

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?