You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
feat: auto-fix formatting for web UI commits in CI (#5308)
* chore: add initial implementation plan
* feat: auto-fix formatting for web UI commits in CI
Co-authored-by: fpigeonjr <4629398+fpigeonjr@users.noreply.github.com>
* fix(ci): harden web UI auto-format workflow
* style: auto-format code (web UI commit)
* fix(ci): preserve current action pins in web UI auto-format workflow
---------
Co-authored-by: Frank Pigeon Jr. <frank.pigeonjr@gmail.com>
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: fpigeonjr <4629398+fpigeonjr@users.noreply.github.com>
Co-authored-by: Frank Pigeon Jr. <fpigeon@flexion.us>
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Copy file name to clipboardExpand all lines: .github/pull_request_template.md
+2Lines changed: 2 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -2,6 +2,8 @@
2
2
3
3
_Described what changes in this PR, at a high level_
4
4
5
+
> **Web UI contributors:** If you edited files via the GitHub web interface on a branch in this repository, CI can automatically apply any needed formatting fixes and commit them back to your PR branch. Fork-based PRs may still need local formatting — see [CONTRIBUTING.md](CONTRIBUTING.md) for details.
I detected that this PR was edited via the GitHub web UI and had some formatting issues. I automatically applied fixes using:
259
+
260
+
- **Prettier** (frontend)
261
+
- **Black** + **isort** (backend)
262
+
263
+
The fixes have been committed to this branch. For future contributions, consider setting up the [local development environment]($CONTRIBUTING_URL) to run formatters before pushing - it avoids this extra round-trip.
-[Submitting a Pull Request](#submitting-a-pull-request)
13
+
14
+
---
15
+
16
+
## Quick Start for Web UI Contributors
17
+
18
+
If you're making small changes (doc fixes, typo corrections, minor edits) directly through GitHub's web interface, here's what to expect:
19
+
20
+
**Formatting is auto-fixed for same-repo PRs.** When CI detects a commit made via the GitHub web UI on a pull request branch in this repository, it automatically runs the formatters (Prettier, Black, isort) and commits the fixes. Fork-based PRs still need to run the formatters locally. You'll see a bot comment on your PR if CI applies fixes.
21
+
22
+
**Linting errors still require attention.** Auto-formatting only fixes code style (whitespace, import order, etc.). If your code has logical linting errors, you'll need to fix those manually.
23
+
24
+
> **Tip for regular contributors:** Setting up the local dev environment (see below) lets you run formatters before pushing, avoiding the extra auto-format commit round-trip.
25
+
26
+
---
27
+
28
+
## Local Development Setup
29
+
30
+
### Prerequisites
31
+
32
+
-[Docker](https://docs.docker.com/get-docker/) — required for running the full stack
33
+
-[Bun](https://bun.sh/) — JavaScript runtime and package manager (frontend)
0 commit comments