Update available_public_servers.csv

[hechth]

No description provided.

[bebatut]

Thanks.
Have you used https://github.com/galaxyproject/galaxy_codex/blob/main/sources/bin/get_public_galaxy_servers.py to make the update? This script pulled out the list from https://galaxyproject.org/use/feed.json by

[hechth]

@bebatut nope I haven't - sorry, didn't know this is automatically pulled.

[paulzierep]

Jup, this one is automatically created base on servers listed via https://galaxyproject.org/use/feed.json, if you want to add other servers, we could add this feature, maybe allowing to add them in the conf: https://github.com/galaxyproject/galaxy_codex/blob/main/sources/data/conf.yml
@hechth do you want to try to add it ? Adding the func here: https://github.com/galaxyproject/galaxy_codex/blob/main/sources/bin/get_public_galaxy_servers.py