philipp
0 Followers · 0 Following
  • Joined on 2023-11-18
Repositories
8
 Projects Packages Public Activity Starred Repositories
1
philipp created branch update-cargo-dependencies in philipp/website-risg 2026-02-01 03:01:46 +01:00
philipp created pull request philipp/website-risg#41 2026-02-01 03:01:46 +01:00
Update Cargo dependencies
philipp closed pull request Ruderverein-Donau…/rowt#1187 2026-01-30 03:08:33 +01:00
Update Cargo dependencies
philipp deleted branch update-cargo-dependencies from Ruderverein-Donau…/rowt 2026-01-30 03:08:33 +01:00
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-30 03:08:32 +01:00
6d36d01c2f Merge pull request 'user merging should only be done by admins' (#1183) from user-upd into main
13de487b10 Merge pull request 'show all users on ranking board; be able to merge users' (#1181) from user-upd into main
Compare 2 commits »
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-30 03:08:22 +01:00
4f73e8f55a Update Cargo dependencies
philipp created branch update-cargo-dependencies in Ruderverein-Donau…/rowt 2026-01-30 03:08:21 +01:00
philipp created pull request Ruderverein-Donau…/rowt#1187 2026-01-30 03:08:21 +01:00
Update Cargo dependencies
philipp pushed to update-cargo-dependencies at star/star 2026-01-30 03:05:33 +01:00
2572a5bc9a Update Cargo dependencies
philipp pushed to main at philipp/ci-images 2026-01-25 21:15:25 +01:00
5af424890b Merge branch 'main' of ssh://git.hofer.link:2222/philipp/ci-images
3fd80596b1 new rust
Compare 2 commits »
philipp closed pull request Ruderverein-Donau…/rowt#1186 2026-01-23 03:08:28 +01:00
Update Cargo dependencies
philipp deleted branch update-cargo-dependencies from Ruderverein-Donau…/rowt 2026-01-23 03:08:26 +01:00
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-23 03:08:24 +01:00
6d36d01c2f Merge pull request 'user merging should only be done by admins' (#1183) from user-upd into main
13de487b10 Merge pull request 'show all users on ranking board; be able to merge users' (#1181) from user-upd into main
Compare 2 commits »
philipp created pull request Ruderverein-Donau…/rowt#1186 2026-01-23 03:08:06 +01:00
Update Cargo dependencies
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-23 03:08:06 +01:00
ff4f88259a Update Cargo dependencies
philipp created branch update-cargo-dependencies in Ruderverein-Donau…/rowt 2026-01-23 03:08:05 +01:00
philipp pushed to update-cargo-dependencies at star/star 2026-01-23 03:05:38 +01:00
871716d49c Update Cargo dependencies
philipp closed pull request Ruderverein-Donau…/rowt#1185 2026-01-16 03:14:27 +01:00
Update Cargo dependencies
philipp deleted branch update-cargo-dependencies from Ruderverein-Donau…/rowt 2026-01-16 03:14:26 +01:00
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-16 03:14:23 +01:00
6d36d01c2f Merge pull request 'user merging should only be done by admins' (#1183) from user-upd into main
13de487b10 Merge pull request 'show all users on ranking board; be able to merge users' (#1181) from user-upd into main
Compare 2 commits »