Skip to content

[stable33] chore(github): update workflows#8715

Merged
mejo- merged 1 commit into
stable33from
backport/8713/stable33
Jun 8, 2026
Merged

[stable33] chore(github): update workflows#8715
mejo- merged 1 commit into
stable33from
backport/8713/stable33

Conversation

@backportbot

@backportbot backportbot Bot commented Jun 8, 2026

Copy link
Copy Markdown

Backport of PR #8713

Should fix setting dependabot and renovate PRs to auto-merge.

Signed-off-by: Jonas <jonas@freesources.org>
@backportbot backportbot Bot added tests If you write them we ♥ you 3. to review labels Jun 8, 2026
@backportbot backportbot Bot added this to the Nextcloud 33.0.6 milestone Jun 8, 2026
@codecov

codecov Bot commented Jun 8, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@mejo- mejo- merged commit 7b9d482 into stable33 Jun 8, 2026
71 checks passed
@mejo- mejo- deleted the backport/8713/stable33 branch June 8, 2026 09:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review tests If you write them we ♥ you

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant