diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-08 20:34:57 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-08 20:48:39 +0300 |
commit | 19a6eb42669c2d380d0bb045fe1240b1589e9ad2 (patch) | |
tree | 4fc7868c841a80384fbd3fc3f4b2ab49fec429ce /bpkg/fetch.hxx | |
parent | 4961b86a18138115a87e79f34a2463493e505449 (diff) |
Fix github-based repository fetching for URLs missing .git extension
Diffstat (limited to 'bpkg/fetch.hxx')
-rw-r--r-- | bpkg/fetch.hxx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bpkg/fetch.hxx b/bpkg/fetch.hxx index a8acbb7..2adbfe3 100644 --- a/bpkg/fetch.hxx +++ b/bpkg/fetch.hxx @@ -107,12 +107,14 @@ namespace bpkg // Start the process of fetching the specified URL. If out is empty, then // fetch to stdout. In this case also don't show any progress unless we are - // running verbose. + // running verbose. If user_agent is empty, then send the default (fetch + // program specific) User-Agent header value. // butl::process start_fetch (const common_options& o, const string& url, - const path& out = path ()); + const path& out = {}, + const string& user_agent = {}); } #endif // BPKG_FETCH_HXX |