Skip to content

Add ability to CI to merge patches submitted from forks#5589

Merged
jyotshnayaparla-00 merged 2 commits intofeldera:mainfrom
jyotshnayaparla-00:fork-premerge-repro
Feb 27, 2026
Merged

Add ability to CI to merge patches submitted from forks#5589
jyotshnayaparla-00 merged 2 commits intofeldera:mainfrom
jyotshnayaparla-00:fork-premerge-repro

Conversation

@jyotshnayaparla-00
Copy link
Contributor

This PR intentionally adds trailing whitespace to reproduce the pre-merge queue task failure when the PR comes from a fork. It is for reproducing issue #5261 only.

@jyotshnayaparla-00
Copy link
Contributor Author

I pushed a fix in 'feldera-ci-test' to skip auto-commit for fork PRs in 'ci-pre-mergequeue.yml' (only auto-fix when head repo ==base repo).

Next step is to validate with the fork repro PR; if it looks good I’ll port the same change to 'feldera/feldera'.

Copy link
Contributor

@gz gz left a comment

Choose a reason for hiding this comment

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

nice

@gz
Copy link
Contributor

gz commented Feb 24, 2026

make sure to clean up git commit history before merging

ci: disable sccache for fork PRs

ci: parameterize SQL2DBSP role

ci: use SQL2DBSP_UPLOAD_ROLE variable
@jyotshnayaparla-00 jyotshnayaparla-00 added this pull request to the merge queue Feb 25, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Feb 26, 2026
@gz gz added this pull request to the merge queue Feb 26, 2026
@snkas snkas removed this pull request from the merge queue due to a manual request Feb 26, 2026
@jyotshnayaparla-00 jyotshnayaparla-00 added this pull request to the merge queue Feb 26, 2026
@gz gz changed the title Repro: fork PR with trailing whitespace Add ability to CI to merge patches submitted from forks Feb 26, 2026
Merged via the queue into feldera:main with commit 100dd1d Feb 27, 2026
1 check passed
@jyotshnayaparla-00 jyotshnayaparla-00 deleted the fork-premerge-repro branch February 27, 2026 03:10
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.

[CI] Open-source repository cannot merge patches submitted from forks

2 participants