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

Docs for release 2023.11.1 #46

Merged
merged 3 commits into from
Nov 10, 2023
Merged

Docs for release 2023.11.1 #46

merged 3 commits into from
Nov 10, 2023

Conversation

ntoll
Copy link
Member

@ntoll ntoll commented Nov 10, 2023

Updated everything to point to 2023.11.1. Removed mini-coi because that's not fixed the header issue (it's the CDN).

Copy link
Contributor

@antocuni antocuni left a comment

Choose a reason for hiding this comment

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

LGTM but I have a comment:

Removed mini-coi because that's not fixed the header issue (it's the CDN).

are you 100% sure about this? If I understand correctly, the current situation is:

  1. live examples on docs.pyscript.net don't work because docs.pyscript.net sends a wrong header (not the CDN)
  2. live examples on https://pyscript.github.io/docs/ works

Are you sure that by removing mini-coi you don't break 2?

@@ -106,7 +106,7 @@ module in the document's `<head>` tag:
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width,initial-scale=1" />
<title>🦜 Polyglot - Piratical PyScript</title>
<script type="module" src="https://pyscript.net/snapshots/2023.11.1.RC3/core.js"></script>
<script type="module" src="https://pyscript.net/snapshots/2023.11.1/core.js"></script>
Copy link
Contributor

Choose a reason for hiding this comment

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

random comment, but ideally we should have a script which automatically updates all these URLs.
It's only a matter of time before we will forget to update one

Copy link
Member Author

Choose a reason for hiding this comment

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

Totally agree... it's on my todo list.

@ntoll ntoll merged commit 7f993a2 into main Nov 10, 2023
@ntoll ntoll deleted the ntoll-2023-11-1 branch November 10, 2023 09:06
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.

2 participants