chore/update-infra-07-23 #236

Merged
teutat3s merged 22 commits from chore/update-infra-07-23 into infra 2023-07-15 01:17:40 +00:00
Showing only changes of commit 864f38920f - Show all commits

View file

@ -15,6 +15,7 @@ to contribute changes to the existing branches.
### `momo/main` branch
- Changes to the [Momo](https://momo.koeln) infrastructure should be merged [into this branch](https://git.pub.solar/pub-solar/os/src/branch/momo/main)
- Changes can get accepted via: Pull Request
- Deployment of changes is [automatic via CI pipeline](https://git.pub.solar/pub-solar/os/src/commit/43bd7421509f7cc9ba06d7c740f3f536a4a2af76/.drone.yml#L20-L38)
- Branch protected from direct `git push`
### `$USER` branches