Manuel Friedli manuel · he/him
0 followers · 0 following
Repositories
5
 Projects Packages Public activity Starred repositories
1
manuel pushed to feature/wilson-algorithm at java/maze-generator 2024-12-18 01:04:03 +01:00
3bf438ffb9 Add and fix tests for the Serializers.
5a642b354b Cleanup and refactoring: Eliminate duplicated code.
9579066cb5 Add Serialization V3: Include the name of the algorithm.
Compare 3 commits »
manuel deleted branch feature/deep-prune from linux/gentoo-overlay 2024-12-17 21:53:33 +01:00
manuel pushed to main at linux/gentoo-overlay 2024-12-17 21:49:08 +01:00
7e96e323d3 Merge pull request 'metadata/md5-cache: Prune md5-cache, too.' (#160) from feature/deep-prune into main
fac1d2a495 metadata/md5-cache: Prune md5-cache, too.
Compare 2 commits »
manuel automatically merged pull request linux/gentoo-overlay#160 2024-12-17 21:49:07 +01:00
manuel created pull request linux/gentoo-overlay#160 2024-12-17 21:48:09 +01:00
metadata/md5-cache: Prune md5-cache, too.
manuel created branch feature/deep-prune in linux/gentoo-overlay 2024-12-17 21:47:55 +01:00
manuel pushed to feature/deep-prune at linux/gentoo-overlay 2024-12-17 21:47:55 +01:00
fac1d2a495 metadata/md5-cache: Prune md5-cache, too.
manuel pushed to main at linux/gentoo-overlay 2024-12-17 21:46:18 +01:00
2556037461 Merge pull request '*/*: Prune various old/obsolete ebuilds.' (#159) from feature/deep-prune into main
84cabf877d */*: Prune various old/obsolete ebuilds.
Compare 2 commits »
manuel deleted branch feature/deep-prune from linux/gentoo-overlay 2024-12-17 21:46:18 +01:00
manuel merged pull request linux/gentoo-overlay#159 2024-12-17 21:46:17 +01:00
*/*: Prune various old/obsolete ebuilds.
manuel created pull request linux/gentoo-overlay#159 2024-12-17 21:35:54 +01:00
*/*: Prune various old/obsolete ebuilds.
manuel created branch feature/deep-prune in linux/gentoo-overlay 2024-12-17 21:35:26 +01:00
manuel pushed to feature/deep-prune at linux/gentoo-overlay 2024-12-17 21:35:26 +01:00
84cabf877d */*: Prune various old/obsolete ebuilds.
manuel pushed to main at linux/gentoo-overlay 2024-12-17 21:15:55 +01:00
98e4fdcd59 Merge pull request 'feature/pruning' (#158) from feature/pruning into main
6fed9a5986 Fix some warnings.
a37a4b2ee1 Fix canterell.
7169da52c5 Prune old versions.
Compare 4 commits »
manuel deleted branch feature/pruning from linux/gentoo-overlay 2024-12-17 21:15:55 +01:00
manuel merged pull request linux/gentoo-overlay#158 2024-12-17 21:15:53 +01:00
feature/pruning
manuel created pull request linux/gentoo-overlay#158 2024-12-17 21:11:39 +01:00
feature/pruning