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

Fixes Copilot position on Tutorials page #13009

Merged
merged 3 commits into from
Oct 9, 2024
Merged

Conversation

foot
Copy link
Contributor

@foot foot commented Oct 2, 2024

Proposed changes

  • Fixes Copilot position on the tutorials page
  • Introduces a config variable for the copilot basePath to support local development

@pulumi-bot
Copy link
Collaborator

@pulumi-bot
Copy link
Collaborator

@foot foot marked this pull request as ready for review October 3, 2024 15:16
@foot foot force-pushed the simon/copilot-fix-tutorials branch from 7478610 to 0135a1e Compare October 7, 2024 08:30
@pulumi-bot
Copy link
Collaborator

sean1588
sean1588 previously approved these changes Oct 8, 2024
Copy link
Member

@sean1588 sean1588 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Going to just approve this. From a code glance it all seems fine to me. If this is deployed on your dev stack, then would be great to check this out. But since this is still behind the feature flag, then I think its safe enough to go ahead and ship.

theme/src/scss/_copilot.scss Outdated Show resolved Hide resolved
@sean1588 sean1588 self-requested a review October 8, 2024 21:16
@sean1588 sean1588 dismissed their stale review October 8, 2024 21:19

see comment

@pulumi-bot
Copy link
Collaborator

Copy link
Member

@sean1588 sean1588 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @foot !! LGTM 🚢

@foot foot merged commit d0867d3 into master Oct 9, 2024
8 checks passed
@foot foot deleted the simon/copilot-fix-tutorials branch October 9, 2024 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants