Замена протокола api с http на https

[boogiedk]

На главной странице перестало работать окошко с онлайн-компилятором из-за изменения протокола передачи данных у
https://rextester.com
В пулл реквесте у адреса заменен протокол с http на https.

PS:
Судя по всему проблема в ишуе #10 именно из-за этого.

[worldbeater]

Насколько мне известно, сейчас fsharplang.ru указывает на fsharplang-ru.github.io, который проживает в другом репозитории. А в этом репозитории проживает новая версия сайта, переписанная на Giraffe и F#, но так и не раздеплоенная. Таким образом, есть два варианта развития событий:

1. Отправить изменения в https://github.com/fsharplang-ru/fsharplang-ru.github.io
2. Раздеплоить этот репозиторий. Ещё есть ветка fable, компилируется в статику, которую можно закинуть на Netlify

[boogiedk]

@worldbeater Вот оно как!
В таком случае, я голосую за то, чтобы задеплоить новую версию на Giraffe и F#. Или на Fable.

[worldbeater]

@boogiedk в бородатые времена, кажется, думали что-то изобрести с арендой машинки, но упёрлись в то, что за неё надо платить и настраивать. Кажется, поэтому родилась идея переписывания server-side на Fable, чтобы можно было просто закинуть сгенерированную NodeJS статику на какую-нибудь бесплатную штуку типа Github Pages или Netlify https://community.netlify.com/t/support-guide-can-i-run-a-web-server-http-listener-and-or-database-at-netlify/3078

Можно попробовать дописать кодес в ветке Fable:
https://github.com/fsharplang-ru/fsharplang.ru/tree/fable
И потом настроить автодеплой на Netlify через GitHub Actions.

Пример workflows/main.yml

name: Build website
on:
  push:
    branches: [ main, master ]
  pull_request:
    branches: [ main, master ]
jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - name: Use Node.js
      uses: actions/setup-node@v1
      with:
        node-version: '12.x'
    - name: Checkout 
      uses: actions/checkout@v2
    - name: Install and Run Gulp
      run: |
        npm install -g gulp
        npm install
        gulp
    - name: Deploy netlify   
      if: ${{ github.event_name != 'pull_request' }}    
      run: |
        npm install -g netlify-cli
        netlify deploy --auth=${{ secrets.NETLIFY_DEPLOY_KEY }} --site=${{ secrets.NETLIFY_SITE_ID }} --prod --dir=dist