From 641181260e698073c9df6a68ae8ef75c40769eaa Mon Sep 17 00:00:00 2001 From: kevgeni <90869237+kevgeni@users.noreply.github.com> Date: Fri, 17 Sep 2021 05:59:14 -0400 Subject: [PATCH] fix: Allow git url with custom username (#1200) Allow git url with custom user, and not just the git user. --- bench/app.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench/app.py b/bench/app.py index 97cbe6a8..9fe122ab 100755 --- a/bench/app.py +++ b/bench/app.py @@ -53,7 +53,7 @@ def write_appstxt(apps, bench_path='.'): def is_git_url(url): # modified to allow without the tailing .git from https://github.com/jonschlinkert/is-git-url.git - pattern = r"(?:git|ssh|https?|git@[-\w.]+):(\/\/)?(.*?)(\.git)?(\/?|\#[-\d\w._]+?)$" + pattern = r"(?:git|ssh|https?|\w*@[-\w.]+):(\/\/)?(.*?)(\.git)?(\/?|\#[-\d\w._]+?)$" return bool(re.match(pattern, url)) def get_excluded_apps(bench_path='.'):