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

Update micro-editor to version 2.0.15 #2

Open
gbazzotti wants to merge 1 commits from gbazzotti/micro-editor:factory into factory
pull from: gbazzotti/micro-editor:factory
merge into: pool:factory
Conversation 0 Commits 1 Files Changed 7 +4248 -15
gbazzotti commented 2026-01-14 15:40:56 +01:00
First-time 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
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u factory:gbazzotti-factory
git checkout gbazzotti-factory
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?