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

feat: julia #69

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

PhotonQuantum
Copy link
Member

P.S. What about reverse proxying missed files? Redirecting to the origin significantly degrades the end-user experience.

@skyzh
Copy link
Member

skyzh commented Nov 15, 2022

What about reverse proxying missed files?

Probably we can do that :)

@skyzh
Copy link
Member

skyzh commented Nov 15, 2022

You might also need to notify johnnychen94 before deploying this change. I remembered that some Julia infra relies on SJTUG and I'm not sure if this change would impact something.

@PhotonQuantum
Copy link
Member Author

@SnoozeThis wait until Friday

@SnoozeThis
Copy link

(https://snoozeth.is/gaURcctCiII) I will wait until Fri, 22 Dec 2023 11:57:40 UTC and then add a comment.

@SnoozeThis
Copy link

Resolved.

@PhotonQuantum
Copy link
Member Author

@SnoozeThis wait until tomorrow

@SnoozeThis
Copy link

(https://snoozeth.is/yWz2acxEgB0) I will wait until Sat, 23 Dec 2023 00:00:00 UTC and then add a comment.

@SnoozeThis
Copy link

Resolved.

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.

None yet

3 participants