tools

Describe the bug
A clear and concise description of what the bug is.

To Reproduce
Steps to reproduce the behavior:

1. Go to realtime
2. Paste url wss://ris-live.ripe.net/v1/ws/?client=hoppscotch.io
3. Observe connect is disabled
4. Remove parameter, quickly undo it and click connect (also a bug)
5. Send { "type": "ris_subscribe" } to the remote server
6. Observe you receive

💭 Description

Even though the upgrade docs state:

You do not need to run migration when upgrading to a minor version. For example, going from 0.13.0 to 0.13.2 would not require running migration.

When following along with the instructions, the "Running the Migration" just says:

We can now start the migration. Navigate to the appwrite directory where your docker-compose.yml is pre

Not a big deal, but I noticed a ton of trailing whitespaces on the repo code, so it would be nice to remove them with a linter or similar!

Hooks for scopes get a double prefix, ie @@scope, when shown with the npm hook ls command. This is due to the response from the web request already including the prefix in the name field, and the following lines of code then locally adding the prefix again, duplicating it.

See dotnet/fsharp#12432 (comment)

It's a good question - do you have a more specific repro of this problem please?

Just tested with the following demo:

[<EntryPoint>]
let main args =

    let test1 () =
        [ 3; 2; 1 ]
        |> List.map (fun x -> x + 10)
        |> List.sort

    let test2 = [
        for x in test1() do