Skip to content

ci: enable scheduled release PR merging for Documents - #249

Merged
naveensingh merged 1 commit into
FossifyOrg:mainfrom
marvinctl:chore/documents-auto-release-merges
Oct 2, 2026
Merged

naveensingh merged 1 commit into
FossifyOrg:mainfrom
marvinctl:chore/documents-auto-release-merges

Conversation

@marvinctl

Copy link
Copy Markdown
Member

Type of change(s)

  • Infrastructure / tooling (CI, build, deps, tests)

What changed and why

  • Add Documents to the scheduled release-PR merge list alongside Calendar.
  • Keep the fortnightly Saturday schedule, release branch and author filter, squash merging, required checks and repository protections unchanged.
  • No app code, changelog, rollout configuration or GitHub settings change.

Tests performed

  • YAML parsing, Bash syntax checks and git diff --check passed.
  • Offline mocked runs checked scheduled selection (Calendar and Documents), manual Documents selection, and manual all-repository selection. The release author filter and --squash --auto arguments stayed unchanged; no real PR was merged.

Checklist

  • I have self-reviewed my pull request.
  • I understand every change in this pull request.
  • Device testing and a changelog entry are not applicable to this workflow-only change.

@marvinctl
marvinctl marked this pull request as ready for review October 2, 2026 12:20
@marvinctl
marvinctl requested a review from naveensingh as a code owner October 2, 2026 12:20

@naveensingh naveensingh left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Verbosity isn't a virtue, Marvin.

@naveensingh
naveensingh merged commit 803613d into FossifyOrg:main Oct 2, 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