Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes pushed to swap at robur/opam-mirror 2024-11-04 17:44:02 +00:00
8ba4cfae00 group download failures by error
9c50538877 record and preserve opam file parsing issues
a47193f147 tweaks
1e35bfefbd initialization: potentially rename bad data
a9b8f18192 stream git contents, also make the tarball and the find_urls in one go
Compare 10 commits »
hannes closed issue robur/opam-mirror#9 2024-11-04 10:00:09 +00:00
Provide a UI for download failures
hannes pushed to dl-status at robur/opam-mirror 2024-10-31 16:47:45 +00:00
53af2665fa record free bytes in tar archive
hannes pushed to dl-status at robur/opam-mirror 2024-10-31 16:18:02 +00:00
f40083692a tweaks
hannes commented on issue robur/opam-mirror#9 2024-10-31 10:46:47 +00:00
Provide a UI for download failures

done in #15

hannes created pull request robur/opam-mirror#15 2024-10-31 10:31:58 +00:00
Add a download status page, recording:
hannes created branch dl-status in robur/opam-mirror 2024-10-31 10:31:33 +00:00
hannes pushed to dl-status at robur/opam-mirror 2024-10-31 10:31:33 +00:00
eb95821b2e Add a download status page, recording:
hannes deleted branch minor from robur/git-kv 2024-10-30 20:11:01 +00:00
hannes pushed to main at robur/git-kv 2024-10-30 20:11:00 +00:00
bc190bd054 Merge pull request 'remove no longer used code' (!4) from minor into main
3402bb2f7c remove no longer used code
Compare 2 commits »
hannes merged pull request robur/git-kv#4 2024-10-30 20:10:59 +00:00
remove no longer used code
hannes created pull request robur/git-kv#4 2024-10-29 19:44:06 +00:00
remove no longer used code
hannes created branch minor in robur/git-kv 2024-10-29 19:43:46 +00:00
hannes pushed to minor at robur/git-kv 2024-10-29 19:43:46 +00:00
3402bb2f7c remove no longer used code
hannes pushed to main at robur/git-kv 2024-10-29 11:38:01 +00:00
e0b23b9458 Merge pull request 'only use a single commit in rename' (!3) from rename-single-commit into main
708cd7d008 add a comment
93bcbe576d only use a single commit in rename
Compare 3 commits »
hannes deleted branch rename-single-commit from robur/git-kv 2024-10-29 11:38:01 +00:00
hannes merged pull request robur/git-kv#3 2024-10-29 11:37:59 +00:00
only use a single commit in rename
hannes commented on pull request robur/git-kv#3 2024-10-29 11:33:35 +00:00
only use a single commit in rename

that scenario shouldn't appear anymore, since we're always in a change_and_push now.

hannes commented on pull request robur/git-kv#3 2024-10-29 11:25:49 +00:00
only use a single commit in rename

added a comment in 708cd7d

hannes commented on pull request robur/git-kv#3 2024-10-29 11:25:27 +00:00
only use a single commit in rename

rebased on main