Skip to content

Delete documentation/API_documentation/User Stories/Edge.Application.…#418

Merged
JoseMConde merged 1 commit intomainfrom
JoseMConde-patch-9
Apr 15, 2026
Merged

Delete documentation/API_documentation/User Stories/Edge.Application.…#418
JoseMConde merged 1 commit intomainfrom
JoseMConde-patch-9

Conversation

@JoseMConde
Copy link
Copy Markdown
Collaborator

…Management.User.Story.md

Delete file, old one, the good one is transfer to the new Edge Application Management repo.

What type of PR is this?

  • documentation

What this PR does / why we need it:

Delete file, old one, the good one is transfer to the new Edge Application Management repo.

Which issue(s) this PR fixes:

Fixes #

Special notes for reviewers:

Changelog input

 release-note

Additional documentation

This section can be blank.

docs

…Management.User.Story.md

Delete file, old one, the good one is transfer to the new Edge Application Management repo.
@github-actions
Copy link
Copy Markdown

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ ACTION actionlint 2 0 0.02s
✅ JSON eslint-plugin-jsonc 1 0 0 1.39s
✅ JSON jsonlint 1 0 0.22s
✅ JSON prettier 1 1 0 0.89s
✅ JSON v8r 1 0 2.81s
✅ OPENAPI spectral 1 0 3.65s
✅ REPOSITORY git_diff yes no 0.48s
✅ REPOSITORY secretlint yes no 2.67s
✅ YAML yamllint 1 0 0.82s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by OX Security

Copy link
Copy Markdown
Collaborator

@Kevsy Kevsy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@JoseMConde JoseMConde merged commit 7742f4a into main Apr 15, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants