Sat, 03 Dec 2022 05:53:13 +0100 |
Pierre-Yves David |
path: fix `url.copy` dropping the port
|
Fri, 02 Dec 2022 18:19:59 +0100 |
Pierre-Yves David |
peer: pass the `path` object to `make_peer`
|
Fri, 02 Dec 2022 18:18:57 +0100 |
Pierre-Yves David |
path: allow to copy a path while adjusting the url
|
Sat, 03 Dec 2022 00:19:23 +0100 |
Pierre-Yves David |
peer: store the path object used to build a peer from a repo
|
Fri, 02 Dec 2022 17:41:44 +0100 |
Pierre-Yves David |
peer: build a `path` object on the fly when needed
|
Sat, 03 Dec 2022 00:16:07 +0100 |
Pierre-Yves David |
peer: have `repo.peer` take an optional `path` argument
|
Sat, 03 Dec 2022 00:13:50 +0100 |
Pierre-Yves David |
peer: add a `path` attribute to peer
|
Sat, 03 Dec 2022 00:00:41 +0100 |
Pierre-Yves David |
peer: have a common constructor and use it
|