Use permanent Agila Forge and University domain names

README.md

@@ -1,6 +1,6 @@
 # Agila learning examples
 
-English (`en/`), Tagalog (`tl/`), and Bisaya/Cebuano (`ceb/`) examples for [Agila University](https://178.128.52.236/).
+English (`en/`), Tagalog (`tl/`), and Bisaya/Cebuano (`ceb/`) examples for [Agila University](https://edu.agilaos.com/).
 
 Read the lesson, predict the output, run the example in the browser code lab, and change one thing. Pass the automated lesson check to earn its certificate. No human mentor is required.
 
@@ -13,7 +13,7 @@ Flying V is Agila's application language. These programs use the public SDK host
 Copy this reference repository:
 
 ```sh
-git clone https://167.71.210.40/matt/agila-learning-examples.git
+git clone https://git.agilaos.com/matt/agila-learning-examples.git
 cd agila-learning-examples
 git switch -c my-first-experiment
 git status
@@ -37,4 +37,4 @@ Replace `main.adb` with your actual source filename. Use your Forge username and
 
 **Bisaya:** Basaha ang code, tag-ana ang resulta, padagana, ug ipasabot ang kausaban. Susihon ang `git diff` sa dili pa mag-commit.
 
-The source SDK is in [matt/open_agila_sdk](https://167.71.210.40/matt/open_agila_sdk). Continue with boundary tests, failure cases, and the automated knowledge checks.
+The source SDK is in [matt/open_agila_sdk](https://git.agilaos.com/matt/open_agila_sdk). Continue with boundary tests, failure cases, and the automated knowledge checks.