Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes deleted branch add-commit from robur/git-kv 2024-11-28 12:48:41 +00:00
hannes pushed to main at robur/git-kv 2024-11-28 12:48:40 +00:00
f5281fbcb1 Merge pull request 'Adjust Git_kv.commit to report staging status' (!8) from add-commit into main
3276c90b08 Adjust Git_kv.commit to report staging status
Compare 2 commits »
hannes merged pull request robur/git-kv#8 2024-11-28 12:48:38 +00:00
Adjust Git_kv.commit to report staging status
hannes commented on pull request robur/git-kv#8 2024-11-28 12:41:21 +00:00
Adjust Git_kv.commit to report staging status

But I'm fine with this proposal as well.

hannes commented on pull request robur/git-kv#8 2024-11-28 12:40:37 +00:00
Adjust Git_kv.commit to report staging status

We can as well just say it's None within a change_and_push!?

hannes pushed to main at robur/git-kv 2024-11-28 10:44:18 +00:00
60795e65e2 Merge pull request 'add function: commit : t -> Digestif.SHA1.t option' (!6) from add-commit into main
56eceb1ef2 add function: commit : t -> Digestif.SHA1.t option
Compare 2 commits »
hannes deleted branch add-commit from robur/git-kv 2024-11-28 10:44:18 +00:00
hannes merged pull request robur/git-kv#6 2024-11-28 10:44:16 +00:00
add function: commit : t -> Digestif.SHA1.t option
hannes commented on pull request robur/git-kv#7 2024-11-28 10:34:32 +00:00
Prepare for release v0.1.1

looks fine, but let's please include !6 in the release...

hannes commented on pull request robur/git-kv#7 2024-11-28 10:34:12 +00:00
Prepare for release v0.1.1

this is !5

hannes created pull request robur/git-kv#6 2024-11-27 18:46:46 +00:00
add function: commit : t -> Digestif.SHA1.t option
hannes created branch add-commit in robur/git-kv 2024-11-27 18:46:03 +00:00
hannes pushed to add-commit at robur/git-kv 2024-11-27 18:46:03 +00:00
56eceb1ef2 add function: commit : t -> Digestif.SHA1.t option
hannes commented on issue robur/opam-mirror#29 2024-11-27 18:38:20 +00:00
index.tar.gz contains unnecessary files

Indeed, please see the PR for a fix. From the opam source, there's only three things to include: packages, repo, version.

hannes created pull request robur/opam-mirror#30 2024-11-27 18:37:40 +00:00
when creating the tarball, only include the packages folder, repo and version
hannes created branch tar-include-only-packages-version-repo in robur/opam-mirror 2024-11-27 18:37:17 +00:00
hannes pushed to tar-include-only-packages-version-repo at robur/opam-mirror 2024-11-27 18:37:17 +00:00
80f5511133 when creating the tarball, only include the packages folder, repo and version
hannes pushed to main at robur/unikernel-repo 2024-11-27 18:27:56 +00:00
1c21472345 caldav: upper bound for cohttp-lwt-unix
hannes commented on pull request robur/opam-mirror#28 2024-11-22 11:28:14 +00:00
Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date

done in 4ae8486

hannes pushed to index-startup at robur/opam-mirror 2024-11-22 11:27:55 +00:00
4ae84869bb use marshal as suggested by @reynir