Skip to content

[pull] master from wei:master - #11

Merged
pull[bot] merged 2 commits into
webforfutureinc:masterfrom
wei:master
Jul 15, 2025
Merged

[pull] master from wei:master#11
pull[bot] merged 2 commits into
webforfutureinc:masterfrom
wei:master

Conversation

@pull

@pull pull Bot commented Jul 15, 2025

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.3)

Can you help keep this open source service alive? 💖 Please sponsor : )

Summary by Sourcery

Introduce a new mergeUnstable option for pull behavior, propagate it through default config and documentation, enhance Pull.getOpenPR with detailed debug logs, and bump version to 2.0.0-alpha.3

New Features:

  • Add mergeUnstable configuration flag to control unstable merges

Enhancements:

  • Add debug logging to Pull.getOpenPR for better traceability of PR lookup

Build:

  • Bump version to 2.0.0-alpha.3

Documentation:

  • Document mergeUnstable flag in README examples

Chores:

  • Include mergeUnstable default in get-pull-config

@pull pull Bot locked and limited conversation to collaborators Jul 15, 2025
@pull pull Bot added the ⤵️ pull label Jul 15, 2025
@pull
pull Bot merged commit 84d7bd2 into webforfutureinc:master Jul 15, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant