Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Sep 22, 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 : )

joshenlim and others added 13 commits September 22, 2025 11:18
…ns (#38904)

* make section language consistent

minor style and language tweaks on Infrastructure page

* improved Postgres upgrade instructions

* fix: language

* add top border

for better scan-ability, since Manage button is far away from related text
* Attempt to address Type instantiation is excessively deep and possibly infinite build error

* Attempt to address Type instantiation is excessively deep and possibly infinite build issue

* Nit
…38854)

* Update global error boundary to add context for insertBefore error

* Reduce prominence of support button if running into google translate client crashess
* home row size

* use prop instead

* revert previewer
* Fix "Change Email" troubleshooting guide

---------

Co-authored-by: Chris Chinchilla <[email protected]>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@pull pull bot locked and limited conversation to collaborators Sep 22, 2025
@pull pull bot added the ⤵️ pull label Sep 22, 2025
@pull pull bot merged commit 7b3007d into code:master Sep 22, 2025
@pull pull bot had a problem deploying to Studio E2E Tests September 22, 2025 10:13 Failure
@pull pull bot had a problem deploying to Studio E2E Tests September 22, 2025 10:13 Failure
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Sep 22, 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.

6 participants