Skip to content

[pull] master from supabase:master #1510

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Apr 25, 2025

Conversation

pull[bot]
Copy link

@pull pull bot commented Apr 25, 2025

See Commits and Changes for more details.


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

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

ivasilov and others added 4 commits April 25, 2025 22:30
* Disable the convertSqlToSupabaseJs tool because it relies on sql-to-rest which expects binaries of libpg-query.

* Comment out the code instead of deleting it.
Before:

The docs lint action doesn't run properly on forks because it tries to
use the branch name to identify the PR for updating, but the branch name is adapted on forks, so it is not `branch-name`, but `forking-account:branch-name`.

After:

Use the PR number instead to identify the PR instead.
* Remove leftover resizable group which weren't interactive.

* Put the input focus in a setTimeout.

* Alternative solution

* Small fix

* Bump threshold to 400ms

* Final fix, hopefully.

---------

Co-authored-by: Joshen Lim <[email protected]>
@pull pull bot added the ⤵️ pull label Apr 25, 2025
@pull pull bot merged commit 7a6292c into boost-entropy-typescript:master Apr 25, 2025
Copy link

Thanks for contributing to Supabase! ❤️ Our team will review your PR.

A few tips for a smoother review process:

  • If you have a local version of the repo, run pnpm run format to make sure formatting checks pass.
  • Once we've reviewed your PR, please don't trivially merge master (don't click Update branch if there are no merge conflicts to be fixed). This invalidates any pre-merge checks we've run.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants