Skip to content

pullrequests Search Results · language:Dune language:Python language:JavaScript language:Vue language:PHP language:Java

Filter by

46.7M results  (2 s)

46.7M results

!-- li-agent workspace_sweeper -- Workspace sweep (fallback safety) Uncommitted local work was committed and pushed by workspace_sweeper so nothing is lost on disk. Suggested verification - ./li-tests/run_all.sh ...

Summary Remove the scrollable() modifier from the public API. Users should construct scrollable areas explicitly using the Scroller widget. Motivation The scrollable() modifier violated the modifier ...
maintenance

Closes #159 This PR updates commit.py to print the syntax of the command if the user doesn t enter a commit message. Type of Change - [ ] Bugfix - [x] Feature - [ ] Documentation - [ ] Refactor ...

Summary - refresh the GitHub OIDC bearer token before the target replacement create request - refresh the token on each poll request so long-running Odoo target replacement operations do not lose ...

プロトで統計データ・カード画像が表示されない不具合を修正。 原因 .app が min-height:100dvh の flex 縦並びで、.scroll が flex:1; overflow-y:auto。iOS Safari では親が固定 height でない(min-height)と flex:1 の子が高さ0に潰れ、overflow:auto が中身(統計・カード)を全部クリップしていた。ヘッダーは ...

Codifies the merge-discipline fix from this session: mark PRs ready immediately and squash-merge the instant CI is green — a green-CI PR is an action item, not a resting state. This is what made #202 look ...

Summary Introduces a new game mode at /flagGrid/: a 3×3 grid where each row and column has a category and every cell must be filled with a country that satisfies both. Built bottom-up over three commits ...