-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
Temporary PR deployments should have the source header populated with the PR number #3285
Labels
chore
Issue is a chore
Comments
Questions: With option 1: how do we then add these to the header? cc @nedsalk |
petertonysmith94
changed the title
Source header should have PR number
Temporary PR deployments should have the source header populated with the PR number
Oct 9, 2024
This is low priority, especially given our moment, and can be circumvented by manually editing the version file. |
Unassigning myself for now then |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Summary
For temporary PR deployments, we should be able to identify via the
Source
header which version is being used. We could either:getBuiltinVersions
return for temporary releases.Originally posted by @nedsalk in #3282 (comment)
Follow up from: #3280
The text was updated successfully, but these errors were encountered: