-
Notifications
You must be signed in to change notification settings - Fork 0
Polish open source project hygiene #38
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
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -9,12 +9,23 @@ jobs: | |
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: actions/checkout@v6 | ||
| with: | ||
| fetch-depth: 0 | ||
| - uses: actions/setup-python@v6 | ||
| with: | ||
| python-version: "3.12" | ||
| - uses: actions/setup-node@v6 | ||
| with: | ||
| node-version: "22" | ||
| - name: Check whitespace | ||
| run: | | ||
| set -euo pipefail | ||
| if [ "${{ github.event_name }}" = "pull_request" ]; then | ||
| git fetch --no-tags --depth=1 origin "${{ github.base_ref }}" | ||
| git diff --check "origin/${{ github.base_ref }}...HEAD" | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
In the Useful? React with 👍 / 👎. |
||
| else | ||
| git diff-tree --check --no-commit-id --root -r HEAD | ||
| fi | ||
| - name: Validate runtime targets | ||
| run: python3 scripts/runtime_settings.py validate | ||
| - name: Run unit tests | ||
|
|
||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -4,3 +4,7 @@ __pycache__/ | |
| .venv/ | ||
| .wrangler/ | ||
| local/ | ||
| .env | ||
| .env.* | ||
| !*.env.example | ||
| web/strategy-switch-console/wrangler.toml | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -7,4 +7,3 @@ requires-python = ">=3.11" | |
| [tool.ruff] | ||
| line-length = 120 | ||
| target-version = "py311" | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In pull_request runs this fetch still uses
--depth=1; even with the new checkoutfetch-depth: 0, running a full clone followed by this exact fetch creates.git/shallowat the base tip, sogit diff origin/${{ github.base_ref }}...HEADcan again fail withno merge basefor a PR merge commit. Fresh evidence after the new change is that the later fetch is what reintroduces the shallow boundary;git fetch -halso distinguishes--depth <depth>from--unshallow, so the safer fix is to avoid the shallow fetch here or explicitly unshallow/fetch enough history before the three-dot diff.Useful? React with 👍 / 👎.