robur/http-mirage-client

Fork 0

remove functors #3

Open

hannes wants to merge 2 commits from defunctorise into main

hannes commented

2025-02-10 14:04:42 +00:00

Owner

This requires the release of dns 10.0.0 to be merged in opam-repository https://github.com/ocaml/opam-repository/pull/27408

hannes added 1 commit 2025-02-10 14:04:43 +00:00

remove functors 6e2cf9cecc

hannes added 1 commit 2025-02-17 10:24:44 +00:00

formatting d925ddea82

This pull request has changes conflicting with the target branch.

src/dune
test/dune

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin defunctorise:defunctorise

git checkout defunctorise

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git checkout main

git merge --no-ff defunctorise

git checkout defunctorise

git rebase main

git checkout main

git merge --ff-only defunctorise

git checkout defunctorise

git rebase main

git checkout main

git merge --no-ff defunctorise

git checkout main

git merge --squash defunctorise

git checkout main

git merge --ff-only defunctorise

git checkout main

git merge defunctorise

git push origin main

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: robur/http-mirage-client#3

No description provided.