Skip to content

chore: bring develop into main - #47

Merged
Stanislas-Poisson merged 2 commits into
mainfrom
develop
Oct 26, 2026
Merged

Stanislas-Poisson merged 2 commits into
mainfrom
develop

Conversation

@Stanislas-Poisson

Copy link
Copy Markdown
Owner

Brings the policy workflows (Policy, Policy sync), the audit gate and the cleanup of the held-back table into main, so that GitHub runs the scheduled and manual workflow from the default branch. No tag: nothing is published.

Stanislas-Poisson and others added 2 commits October 26, 2026 13:18
The packages that Dependabot skips and that a change must not update come
from the dependency policy of the zairakai group (php.json), not from a
hand-written list:

- the block between the markers dependency-policy (composer) of
  dependabot.yml is written by update-dependencies dependabot-sync, and the
  workflow Policy sync opens a signed pull request when it is out of date;
- the workflow Policy fails a pull request that updates a package of the
  policy.
chore(policy): hold the dependencies back from the dependency policy
@Stanislas-Poisson
Stanislas-Poisson merged commit cdffe9f into main Oct 26, 2026
13 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.

1 participant