Skip to content
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

[infra] adjust-pages.pl: drop spec-patching code #4010

Merged
merged 2 commits into from
Feb 16, 2024

Conversation

chalin
Copy link
Contributor

@chalin chalin commented Feb 16, 2024

There are no changes to the generated site files (other than the site timestamp):

$ npm run build
...
$ (cd public && git diff -bw --ignore-blank-lines) | grep ^diff
diff --git a/site/index.html b/site/index.html

@chalin chalin added the CI/infra CI & infrastructure label Feb 16, 2024
@chalin chalin requested a review from a team February 16, 2024 00:15
@svrnm svrnm merged commit 77c4fac into open-telemetry:main Feb 16, 2024
14 checks passed
@chalin chalin deleted the chalin-im-adj-pages-spec-2024-02-15 branch February 16, 2024 16:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/infra CI & infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants