Skip to content

github: fix broken header check#9800

Open
poweifeng wants to merge 1 commit intomainfrom
pf/github-fix-header-check
Open

github: fix broken header check#9800
poweifeng wants to merge 1 commit intomainfrom
pf/github-fix-header-check

Conversation

@poweifeng
Copy link
Contributor

  • Move header check from postsubmit to presubmit
  • Install third_party/getop if needed
  • Modify check-headers test to use system getopt when it's available.

@poweifeng poweifeng added the internal Issue/PR does not affect clients label Mar 14, 2026
@poweifeng poweifeng force-pushed the pf/github-fix-header-check branch 3 times, most recently from e6be9bc to e7073cc Compare March 15, 2026 00:15
 - Move header check from postsubmit to presubmit
 - Install third_party/getop if needed
 - Modify check-headers test to use system getopt when it's available.
@poweifeng poweifeng force-pushed the pf/github-fix-header-check branch from e7073cc to f77783a Compare March 15, 2026 00:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Issue/PR does not affect clients

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant