Skip to content

ci: revert to release-0.12 config#1387

Merged
edgehog-app[bot] merged 1 commit intoedgehog-device-manager:mainfrom
lusergit:push-olrsvlzpnysz
Apr 21, 2026
Merged

ci: revert to release-0.12 config#1387
edgehog-app[bot] merged 1 commit intoedgehog-device-manager:mainfrom
lusergit:push-olrsvlzpnysz

Conversation

@lusergit
Copy link
Copy Markdown
Collaborator

What this PR does / why we need it:

Since our latest changes do not work to publish changes in the docs repo, reverting to the docs-workflow contents of release-0.12

Additional documentation e.g. usage docs, diagrams, reviewer notes, etc.:


Thanks for sending a pull request! If this is your first time, here are some tips for you:
  1. You can take a look at our developer guide for an introduction on Edgehog development!
  2. Make sure to read CONTRIBUTING.md and CODE_OF_CONDUCT.md
  3. If the PR is unfinished or you're actively working on it, mark it as draft

When fixing existing issues, use github's syntax to link your pull request to it

fixes #<issue number>

We also have a syntax to signal dependencies to other open pull requests

depends on #<pr number>
depends on https://github.com/...

In case of stacked PRs, you may add the PR number in the last commit's title instead:

gitGraph
    commit id: "Current master"
    branch feat1
    checkout feat1
    commit id: "feat: add something"
    commit id: "feat: add something else (#100)"
    branch feat2
    checkout feat2
    commit id: "refactor: do something"
    commit id: "fix: solve issue"
    commit id: "feat: add a feature (#101)"
    branch feat3
    checkout feat3
    commit id: "feat: feat without pr number"
Loading

Since our latest changes do not work to publish changes in the docs repo,
reverting to the `docs-workflow` contents of release-0.12

Signed-off-by: Luca Zaninotto <luca.zaninotto@secomind.com>
@lusergit lusergit requested a review from OmarBrbutovic April 21, 2026 12:51
@OmarBrbutovic
Copy link
Copy Markdown
Collaborator

/fast-forward

@edgehog-app edgehog-app Bot merged commit 1e7e81e into edgehog-device-manager:main Apr 21, 2026
6 checks passed
@lusergit lusergit deleted the push-olrsvlzpnysz branch April 21, 2026 12:55
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