philipp
0 Followers · 0 Following
  • Joined on 2023-11-18
Repositories
8
 Projects Packages Public Activity Starred Repositories
1
philipp created pull request star/star#127 2026-01-09 03:07:31 +01:00
Update Cargo dependencies
philipp pushed to update-cargo-dependencies at star/star 2026-01-09 03:07:31 +01:00
c8801d35e3 Update Cargo dependencies
philipp created branch update-cargo-dependencies in star/star 2026-01-09 03:07:30 +01:00
philipp closed pull request Ruderverein-Donau…/rowt#1184 2026-01-09 03:03:18 +01:00
Update Cargo dependencies
philipp deleted branch update-cargo-dependencies from Ruderverein-Donau…/rowt 2026-01-09 03:03:16 +01:00
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-09 03:03:13 +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#1184 2026-01-09 03:02:54 +01:00
Update Cargo dependencies
philipp pushed to update-cargo-dependencies at Ruderverein-Donau…/rowt 2026-01-09 03:02:50 +01:00
3ec49daed8 Update Cargo dependencies
philipp created branch update-cargo-dependencies in Ruderverein-Donau…/rowt 2026-01-09 03:02:50 +01:00
philipp deleted branch user-upd from Ruderverein-Donau…/rowt 2026-01-08 20:23:48 +01:00
philipp pushed to main at Ruderverein-Donau…/rowt 2026-01-08 20:23:39 +01:00
6d36d01c2f Merge pull request 'user merging should only be done by admins' (#1183) from user-upd into main
2ed22d6440 user merging should only be done by admins
Compare 2 commits »
philipp merged pull request Ruderverein-Donau…/rowt#1183 2026-01-08 20:23:34 +01:00
user merging should only be done by admins
philipp pushed to staging at Ruderverein-Donau…/rowt 2026-01-08 20:23:13 +01:00
b2157a31c5 Merge pull request 'user merging should only be done by admins' (#1182) from user-upd into staging
2ed22d6440 user merging should only be done by admins
Compare 2 commits »
philipp merged pull request Ruderverein-Donau…/rowt#1182 2026-01-08 20:23:13 +01:00
user merging should only be done by admins
philipp created pull request Ruderverein-Donau…/rowt#1183 2026-01-08 20:23:08 +01:00
user merging should only be done by admins
philipp created pull request Ruderverein-Donau…/rowt#1182 2026-01-08 20:22:56 +01:00
user merging should only be done by admins
philipp pushed to user-upd at Ruderverein-Donau…/rowt 2026-01-08 20:22:32 +01:00
2ed22d6440 user merging should only be done by admins
philipp created branch user-upd in Ruderverein-Donau…/rowt 2026-01-08 20:22:31 +01:00
philipp deleted branch user-upd from Ruderverein-Donau…/rowt 2026-01-08 20:16:50 +01:00
philipp pushed to main at Ruderverein-Donau…/rowt 2026-01-08 20:16:48 +01:00
13de487b10 Merge pull request 'show all users on ranking board; be able to merge users' (#1181) from user-upd into main
3fcf24958b show all users on ranking board; be able to merge users
Compare 2 commits »