added umsa to list of public servers

[hechth]

this adds the UMSA Galaxy instance which is coupled to usegalaxy.cz to the list.

Due to different tools being available on the instances, it would be beneficial to also collect the usage statistics from this instance, as it is used by the local RI :)

Are there any further additions needed to also include this Galaxy instance in the monitoring? Is there any configuration needed from the side of the admins?

[hechth]

@martenson

[hechth]

@scorreard or @nomadscientist or @paulzierep can this be merged?

[paulzierep]

the list is automatically created using https://galaxyproject.org/use/feed.json see

galaxy_codex/sources/bin/get_public_galaxy_servers.py

Line 15 in 2170525

serverlist = requests.get("https://galaxyproject.org/use/feed.json").json()

So this would be overwritten, if the server is not in that list. So you need to get the server into https://galaxyproject.org/use/feed.json or make a PR that add extra code to include servers not listed in https://galaxyproject.org/use/feed.json

[martenson]

it used to be managed by this, not sure if still true: https://docs.google.com/forms/d/e/1FAIpQLSd4xzUP3pSYjTHiLoRE10zSJbplDVW7EbGy8EJ9JS0yy2SySg/viewform

for the most direct approach you can likely just add umsa here: https://github.com/galaxyproject/galaxy-hub/tree/main/content/use

[scorreard]

@hechth are you adding it to https://galaxyproject.org/use/feed.json ?

[paulzierep]

when this is merged, you can add custom servers as well: #690