Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Oct 20, 2025

See Commits and Changes for more details.


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

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

sweatybridge and others added 6 commits October 20, 2025 12:31
* fix: allow merge request with stale PR to be closed

* chore: comment on review requested field
Increasing this because of reports that CSV uploads are hitting 429s. (I
checked and there are no Retry-After headers, so we should be falling
back to the default exponential backoff.)

Also brings the implementation in line with the comment :P Before, the
comment claimed we were starting at 1s but we were starting at 500ms.
…tions (#39293)

* New troubleshooting guide for users seeing empty branches due to no migration files

* format

* format and changes

* format

* Change title

* Addressed initial comments
@pull pull bot locked and limited conversation to collaborators Oct 20, 2025
@pull pull bot added the ⤵️ pull label Oct 20, 2025
@pull pull bot had a problem deploying to Studio E2E Tests October 20, 2025 16:13 Failure
@pull pull bot merged commit 5c5371d into code:master Oct 20, 2025
1 of 10 checks passed
@pull pull bot had a problem deploying to Studio E2E Tests October 20, 2025 16:13 Failure
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 20, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⤵️ pull documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants