Deploy index to gh-pages?

[armanbilge]

I noticed in the CI logs there's some rate-limiting. I wonder if hosting the index as a static site would help avoid that.

[vasilmkd]

It seems that there are even stricter rate limits in place, the past couple of days. How would a move to gh-pages look like? Can it be handled by sbt-typelevel?

[armanbilge]

I think what we need to do is:

1. in the settings page, enable GitHub pages on the main branch (not gh-pages) and point it at the index folder. This should be backwards-compatible.
2. point download-java at the new location

[armanbilge]

That's annoying, seems that only / or docs/ are supported. Using / should be fine I guess.

[armanbilge]

@vasilmkd I'm seeing some weird issues, maybe we can give this a try?

Run JDK_URL=$(curl -L https://raw.githubusercontent.com/typelevel/jdk-index/main/index/Linux/X64/temurin/17/jdk)
  JDK_URL=$(curl -L https://raw.githubusercontent.com/typelevel/jdk-index/main/index/Linux/X64/temurin/17/jdk)
  JDK_FILE="/home/runner/work/_temp/$(basename $JDK_URL)"
  echo "jdkUrl=$JDK_URL" >> $GITHUB_OUTPUT
  echo "jdkFile=$JDK_FILE" >> $GITHUB_OUTPUT
  shell: /usr/bin/bash --noprofile --norc -e -o pipefail {0}
  env:
    PGP_PASSPHRASE: 
    SONATYPE_PASSWORD: ***
    SONATYPE_CREDENTIAL_HOST: 
    SONATYPE_USERNAME: ***
    PGP_SECRET: ***
  
    GITHUB_TOKEN: ***
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (60) SSL certificate problem: certificate has expired
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.

[vasilmkd]

I heard that today GitHub changed their ssh keys. Could the issues be related to that?

[armanbilge]

Oh, possibly. But still, I wonder if this would be a useful thing to do :) the keys for static site hosting might be managed independently.