git.codecoop.org was shut down for good on March 31.2023. More Info: https://so36.net/news/codecoop-migration.html