This repository contains the event static website (HTML pages, CSS, and images).
- Git
- Python 3
- On GitHub, open the repository and copy the URL from the Code button.
- Clone it on your machine:
git clone <REPOSITORY_URL>
cd RoboCity_ROS2_Summer_School_2026Repository URL examples (use whichever applies to you):
https://github.com/<ORG_OR_USER>/RoboCity_ROS2_Summer_School_2026.git
git@github.com:<ORG_OR_USER>/RoboCity_ROS2_Summer_School_2026.git
Since this is a static website, you can serve it with Python’s built-in web server from the project root folder:
python3 -m http.server 8000Then open in your browser:
To open the homepage directly:
To stop the server, press Ctrl+C in the terminal.
If you’re not familiar with GitHub, the typical contribution flow is:
- On GitHub, go to the original repository and click Fork (top-right).
- This creates a copy of the repository under your account.
On your fork page (in your account), copy the URL from Code and clone it:
git clone <YOUR_FORK_URL>
cd RoboCity_ROS2_Summer_School_2026It’s important not to work directly on the main branch. Create a new branch with a descriptive name:
git checkout -b my-change- Edit the necessary files.
- If you changed the website, you can test it with:
python3 -m http.server 8000git status
git add -A
git commit -m "Briefly describe the change"git push -u origin my-change- Go back to GitHub (your fork).
- GitHub often shows a prompt/button to open a Pull Request from the newly pushed branch.
- If it doesn’t show up, go to the Pull requests tab and click New pull request.
- Make sure that:
- base repository points to the original repository,
- head repository points to your fork,
- and select your branch (
my-change).
- Describe what you changed and why.
That’s it! The team will review your Pull Request and, if everything looks good, merge it.