pool/micro-editor
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity

Update micro-editor to version 2.0.15 #2

Closed
gbazzotti wants to merge 0 commits from gbazzotti/micro-editor:factory into factory
pull from: gbazzotti/micro-editor:factory
merge into: pool:factory
Conversation 0 Commits - Files Changed - +4248 -15
gbazzotti commented 2026-01-14 15:40:56 +01:00
Contributor
Copy Link
No description provided.
gbazzotti added 1 commit 2026-01-14 15:40:57 +01:00
feat(update): update micro-editor to version 2.0.15 dd96b7ed26
gbazzotti changed title from WIP: Update micro-editor to version 2.0.15 to Update micro-editor to version 2.0.15 2026-01-14 15:49:08 +01:00
gbazzotti closed this pull request 2026-01-17 19:42:13 +01:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
legaldb
Critical Priority
Critical legaldb priority
Archived
legaldb
High Priority
2
High legaldb priority
legaldb
Normal Priority
1
Normal legaldb priority
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
adamm_super adrianSuSE autobuild-owner autobuild-review autogits_workflow_pr_bot bigironman dirkmueller eroca factory_bot gitea_test legaldb lkocman-factory maxlin_factory opensuse-review packagehub-review smithfarm
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pool/micro-editor#2
Delete Branch "gbazzotti/micro-editor:factory"

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?